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
ebproof extended
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
Add a description, image, and links to the formal-proofs topic page so that developers can more easily learn about it.
To associate your repository with the formal-proofs topic, visit your repo's landing page and select "manage topics."