Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Home ›
Development ›
Coq
Coq
By Coq Development Team
Rating:
3/5 (1)
3/5 (1)
License type:
Freeware
Home page:
coq.inria.fr
Latest version:
8.4
Last updated:
January 25th, 2012
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...
