The Coq proof assistant
Edit Page
Report
Scan day: 05 March 2014 UTC
12
Virus safety - good
Description: 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.
Welcome ! | The Coq Proof Assistant Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the
Size: 298 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Welcome ! | The Coq Proof Assistant |
| Keywords: | |
| Description: | |
| IP-address: | 193.55.176.29 |
WHOIS Info
| NS | ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE status: ok |
| Date | created: 01/01/1995 last-update: 24/10/2013 changed: 02/12/2009 [email protected] changed: 26/09/2011 [email protected] changed: 24/10/2013 [email protected] changed: 06/01/2012 [email protected] changed: 06/01/2012 [email protected] |