Information Technology Services

Home » Software » Available » List » Coq

Coq by Coq Development Team  Get Software

  • Categories:
  • Math

About Coq

Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specificatio

Versions & Eligible Use

Location Eligible Users Platform Version(s)
MyCloud All users Windows 8.9.1