Coq icon
Coq icon

Coq

 4 likes

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.

License model

  • Free • Open Source

Platforms

  • Mac
  • Windows
  • Linux
Coq alternatives  
  No rating
4likes
0comments
3alternatives
0news articles

Features

Suggest and vote on features
No features, maybe you want to suggest one?

 Tags

  • proof-assistant
  • Math
  • safety
  • formal
  • verification

Coq News & Activities

Highlights • All activities

Recent activities

No activities found.

Coq information

  • Developed by

    ADT Coq

  • Licensing

    Open Source and Free product.

  • Alternatives

    3 alternatives listed

  • Supported Languages

    • English

AlternativeTo Category

Education & Reference

Popular alternatives

View all

Our users have written 0 comments and reviews about Coq, and it has gotten 4 likes

Coq was added to AlternativeTo by greenrd on Aug 20, 2010 and this page was last updated Feb 7, 2018.
No comments or reviews, maybe you want to be first?
Post comment/review

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.

Coq Videos

Official Links