Directory of Coq Resources

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

Resources in This Category

• CtCoq

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

• 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.

 

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

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us