Directory Help Search only in CoqSearch the Web

Coq

Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks > Coq

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	The Coq proof assistant - http://coq.inria.fr/ 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.
	http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html - http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html a working environment for the Coq theorem prover (XWindow)

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...