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

https://github.com/logicalatomist/open-logic-project

Last synced: 01 Mar 2025

https://github.com/logicalatomist/problemsofphilosophy

The TeX source file and PDF for the student edition of The Problems of Philosophy

Last synced: 01 Mar 2025

https://github.com/logicalatomist/ui-map

Last synced: 01 Mar 2025