Open Standards for Computing Oriented Systems
Home |  Events |  RSS |  Members |  About SCOS You are not logged in  |  Log in  |  Register



 

Coq

Scos assessment
Card filled out at 17%
     For connected users only
Author's Card

Comments: 0
Leave a comment about this card

Coq's wiki

Legend:

Pending review

Mandatory
Recommended
Free

Add content
Modify content
Help
 
General Informations
URL http://coq.inria.fr/
Authors and/or owner name
Description Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
Main field(s) of application Mathematics
References binary
References sources
References others
Type of sofware Unknown
Functionnal domain
License GNU Lesser General Public License
Current version 8.2
Stability Stable
Release features
Main known users

Environment Information

File Format / Specific Information

Scientific Information

Business Description

© SCOS 2007-2008 Contact |  Site Map