Search for
Home > Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks >

Coq
New! Submit a site
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
CtCoq - a working environment for the Coq theorem prover (XWindow)
 
The Coq proof assistant - 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.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek