Metamath
Minimal formal language and proof verifier with explicit, inspectable proofs built from simple foundations.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
-
-
-
Archive of Formal Proofs isa-afp.org
Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.
-
-
mathlib github.com
Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.
Math › Foundations and Logic > Formal Mathematics and Theorem Proving: “Minimal formal language and proof verifier with explicit, inspectable proofs built from simple foundations.”