ProofSystem / Encyclopedia
An Open Encyclopedia of Proof Systems
Stars: ✭ 95
Labels
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}
}
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].