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-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

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