Proof Assistant Software
3 applications
Popular proof assistant applications include Coq Platform, Lean, and Rocq Prover. Compare features, track versions, and find alternatives.
CO
Coq Platform
v2025.08.3
Coq
The Coq Platform provides a reliable, cross-platform installation of the Coq proof assistant and a consistent set of packages for research, education, and in...
Lean
v4.30.0
Lean Software
Lean is a proof assistant developed by Leonardo de Moura, with a community-driven mathematical library called mathlib.
RO
Rocq Prover
v9.1.1
Institut National de Recherche en Informatique et en Automatique
Interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics and computer science. Implements Gallina langua...
