Coq Logical Frameworks Computational Logic Logic and Foundations


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.








    Top: Science: Math: Logic and Foundations: Computational Logic: Logical Frameworks

Coq

Editor's Picks:

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.

  • CtCoq - a working environment for the Coq theorem prover logical frameworks (XWindow)


   MySQL - Cache Direct


  
Twitter