Proof_Assistant
Ranked by notability
8
Articles
0
Images
7
Websites Tracked
1
Pages
Browse by Type
Lean
CreativeWork
software for interactive and automated theorem proving
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Mizar
Place
proof assistant
Idris
Thing
purely functional programming language
Dafny
Place
programming language
LEGO
Place
logical proof assistant
Gappa
CreativeWork
theorem prover
1