Coq 8.4

Free It provides a formal language to write mathematical definitions
3 
Rating
Your vote:
Latest version:
8.4 See all
Screenshots
1 / 2
Awards (2)
Show all awards
Software Informer Virus Free award
Trusted Download
Free   53.7 MB

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.

Comments

3
Rating
1 vote
5 stars
0
4 stars
0
3 stars
1
2 stars
0
1 stars
0
User

Your vote:

Top