ProofWiki

proofwiki.orgsite

Collaborative repository of mathematical definitions, lemmas, and proofs.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   Wolfram Mathworld mathworld.wolfram.com

   site category #math link ↗

   Reference articles on mathematical definitions, formulas, identities, and related concepts.

   
2. ▲
   mathlib github.com

   tool category #math link ↗

   Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.

   
3. ▲
   Theorem Provers wiki.haskell.org

   site category #haskell link ↗
4. ▲
   Metamath us.metamath.org

   site category #math link ↗

   Minimal formal language and proof verifier with explicit, inspectable proofs built from simple foundations.

5. ▲
   Mathematical Components wiki github.com

   site category #coq link ↗
6. ▲
   Archive of Formal Proofs isa-afp.org

   site category #math link ↗

   Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.

Math › Start Here > Reference Works: “Collaborative repository of mathematical definitions, lemmas, and proofs.”