Encyclopedia of Proof Systems

This is a collaborative and open Encyclopedia of Proof Systems.

It is licensed according to a Creative Commons license:

.

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

Name		Name	Last commit message	Last commit date
Latest commit History 130 Commits
backmatter		backmatter
biber		biber
bibliographies		bibliographies
frontmatter		frontmatter
mainmatter		mainmatter
papers		papers
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
biblatex.sty		biblatex.sty
bibliographies.sty		bibliographies.sty
commands.sty		commands.sty
ded.sty		ded.sty
intros.tex		intros.tex
logicalsymbols.sty		logicalsymbols.sty
main.pdf		main.pdf
main.tex		main.tex
multind.sty		multind.sty
proofsystems.tex		proofsystems.tex
prooftree.sty		prooftree.sty
recode_data.xml		recode_data.xml
spbasic.bst		spbasic.bst
spmpsci.bst		spmpsci.bst
spphys.bst		spphys.bst
svmult.cls		svmult.cls

herbelin/Encyclopedia