drruisseau / encyclopedia

An Open Encyclopedia of Proof Systems

Encyclopedia of Proof Systems

This is a collaborative and open Encyclopedia of Proof Systems.

It is licensed according to a Creative Commons 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}
}