In Partnership with AOL
  • 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 (XWindow)
Volunteer to edit this category.
Copyright © 1998-2015 AOL Inc. Terms of Use
Visit our sister sites | MusicMoz | Wikipedia

Last update: January 2, 2007 at 17:54:52 UTC - edit