= Proof checkers/assistant

Coq       :: https://coq.inria.fr/
Lean      :: https://lean-lang.org/
Isabelle  :: https://isabelle.in.tum.de/
Idris     :: https://www.idris-lang.org/
oak       :: https://oakproof.org/
metamath  :: https://us.metamath.org/