Programming Language
Proof_Assistant › Programming Language · Ranked by notability
6
Articles
0
Images
6
Keywords Tracked
5
Websites Tracked
2,754,870
Monthly Searches
1
Pages
Also in Proof_Assistant
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
Dafny
Place
programming language
LEGO
Place
logical proof assistant
1