Home >
domains >
coq.inria.fr
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.
|
Keyword |
Results for this URL |
Total searches |