https://github.com/logicalatomist/principia

The Principia Rewrite

coq coq-ecosystem formal-logic formal-mathematics formal-proofs history-of-philosophy latex latex-packages logic

Last synced: 04 Apr 2025