Web Directory

  Top: Science: Math: Logic_and_Foundations: Computational_Logic: Logical_Frameworks: Coq:

  Coq (2)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Featured Websites in this category
http://coq.inria.fr/
Featured Site The Coq proof assistant Open in a new browser windowLink 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.
- http://coq.inria.fr/

Lock this listing - So it can't be removed Report this listing Add a new Featured link

Regular Websites in this category

CtCoq Open in a new windowLink Details
- a working environment for the Coq theorem prover (XWindow)
- http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]