Proof Assistant
Science_Software › Proof Assistant · Ranked by notability
7
Articles
0
Images
7
Keywords Tracked
6
Websites Tracked
2,755,590
Monthly Searches
1
Pages
Also in Science_Software
All Science_Software
Mathematical Software (2)
Programming Language (2)
Computer Algebra System (1)
Econometrics Software (1)
Formula Editor (1)
Free And Open-Source Software (1)
Free Software (1)
Functional Programming Language (1)
Game Engine (1)
Numerical Software (1)
Plotting Software (1)
Report Generator (1)
Software (1)
Software Calculator (1)
Mathematical Software (2)
Programming Language (2)
Computer Algebra System (1)
Econometrics Software (1)
Formula Editor (1)
Free And Open-Source Software (1)
Free Software (1)
Functional Programming Language (1)
Game Engine (1)
Numerical Software (1)
Plotting Software (1)
Report Generator (1)
Software (1)
Software Calculator (1)
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
Gappa
CreativeWork
theorem prover
1