The Principia Rewrite
latex
coq
logic
latex-packages
formal-mathematics
coq-ecosystem
formal-proofs
formal-logic
history-of-philosophy
-
Updated
May 18, 2024 - TeX
The Principia Rewrite
A curated list of awesome philosophy
Checking Spinoza's demonstrations
The github repository for the EMU UCiP website.
Histoire de la philosophie : frises chronologiques
Add a description, image, and links to the history-of-philosophy topic page so that developers can more easily learn about it.
To associate your repository with the history-of-philosophy topic, visit your repo's landing page and select "manage topics."