Proof Assistant

Science_Software › Proof Assistant · Ranked by notability

5

Articles

0

Images

4

Websites Tracked

1

Pages

Also in Science_Software

All Science_Software
Programming Language (2)
Mathematical Software (2)
Visual Programming Language (1)
Numerical Software (1)
Free Software (1)
Econometrics Software (1)
Computer-Aided Engineering (1)
Software (1)
Game Engine (1)
Plotting Software (1)
Computational Fluid Dynamics (1)
Software Category (1)
Website (1)
Application (1)

proof assistant

purely functional programming language

programming language

logical proof assistant

1