Proof Assistant
Mathematical_Software › Proof Assistant · Ranked by notability
5
Articles
0
Images
4
Websites Tracked
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (2)
Programming Language (2)
Numerical Software (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Mathematical Software (2)
Programming Language (2)
Numerical Software (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
Dafny
Place
programming language
LEGO
Place
logical proof assistant
Gappa
CreativeWork
theorem prover
1