Proof Assistant
Mathematical Software › Proof Assistant · Ranked by notability
5
Articles
0
Images
4
Websites Tracked
1
Pages
Also in Mathematical Software
Mizar
Place
proof assistant
Idris
Thing
purely functional programming language
Dafny
Place
programming language
LEGO
Place
logical proof assistant
Gappa
CreativeWork
theorem prover
1