- Home
- Science
- Mathematics
- The Coq proof assistant
Science · Mathematics
The Coq proof assistant
Listed in the directory · updated 23 Jul 2022
About The Coq proof assistant
The Coq proof assistant- Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.