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 | Off Network Access | Version(s) |
---|---|---|---|---|
MyCloud | All users | Windows | 8.9.1 |
- Categories:
- Math
- Location:
- MyCloud
- ITS Support:
- Installation