The Principia Rewrite
latex
coq
logic
latex-packages
formal-mathematics
coq-ecosystem
formal-proofs
formal-logic
history-of-philosophy
-
Updated
Jul 19, 2023 - TeX