1 result found Sort:

LogicalAtomist
principia LogicalAtomist
5
214
gpl-3.0
16
The Principia Rewrite
coq latex logic formal-logic coq-ecosystem formal-proofs latex-packages formal-mathematics history-of-philosophy
Created 2020-09-27
71 commits to master branch, last one about a month ago