What is Coq?
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows programming with proofs of correctness for the code, and dependent types.
Show full description ▾
Our users have written 0 comments and reviews about Coq, and it has gotten 4 likes
- Developed by ADT Coq
- Open Source and Free product.
- 3 alternatives listed
Popular alternativesView all
Coq was added to AlternativeTo byon Aug 20, 2010 and this page was last updated Feb 7, 2018.
Features Vote on or suggest new features
Comments and Reviews Post a comment / review all • positive • negative relevance • dateNo comments or reviews, maybe you want to be first?
CategoryEducation & Reference
No screenshots yet
Recent user activities on Coq
No activities found.