An Open Encyclopedia of Proof Systems
TeX Makefile
Switch branches/tags
Nothing to show
Clone or download
Latest commit bda8efb Feb 24, 2018
Permalink
Failed to load latest commit information.
Source Organize indexes Feb 24, 2018
papers Add Gentzen's Papers Jan 13, 2015
.gitignore Update gitignore to exclude PDF Sep 21, 2015
README.md Add citation instructions Dec 16, 2016
main.pdf Update PDF Feb 24, 2018

README.md

Encyclopedia of Proof Systems

This is a collaborative and open Encyclopedia of Proof Systems.

It is licensed according to a Creative Commons license:

License.

Contributing

If you would like to contribute, please check the submission instructions.

Citing

If you would like to cite the whole encyclopaedia, please use the following BibTeX entry:

@book{EPS,
  title = {Towards an Encyclopaedia of Proof Systems},   
  editor = {Woltzenlogel Paleo, Bruno}, 
  publisher = {College Publications}, 
  address = {London, UK},
  url = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  year = {2017},
  month = {1},
  edition = {1},
  isbn = {978-1-84890-233-6}
}

If you would like to cite a single entry of the encyclopaedia, please use the following BibTeX entry (replacing bracketed placeholders by content corresponding to the entry):

@incollection{[bibentry key],
  booktitle = {Towards an Encyclopaedia of Proof Systems},
  editor = {Woltzenlogel Paleo, Bruno},
  title = {[entry title]},
  author    = {[entry authors]},
  pages     = {[page range of the entry]}, 
  publisher = {College Publications}, 
  address = {London, UK},
  url       = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  year      = {2017},
  month = {1},
  edition = {1}
}