Web Directory

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

 

CtCoq

  Link Details for: CtCoq
Link Title: CtCoq Open in a new window
Link URL: http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html
Link Details: a working environment for the Coq theorem prover (XWindow)
Category: Top : Science : Math : Logic_and_Foundations : Computational_Logic : Logical_Frameworks : Coq
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
CtCoq