principia

The Principia Rewrite

205 stars

16 watching

5 forks

Language: TeX

last commit: 5 months ago

coqcoq-ecosystemformal-logicformal-mathematicsformal-proofshistory-of-philosophylatexlatex-packageslogic