Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Computational_Logic
:
Logical_Frameworks
:
Coq
:
The Coq proof assistant
Link Details for:
The Coq proof assistant
Link Title:
The Coq proof assistant
Link URL:
http://coq.inria.fr/
Link Details:
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.
Category:
Top : Science : Math : Logic_and_Foundations : Computational_Logic : Logical_Frameworks : Coq
Link Type:
ScreenShot:
Link Details for: The Coq proof assistant
