Advanced Search Tips
Automated Theorem Proving Editors: Open AI Resources
    62 results in "Automated Theorem Proving"
    Z3 Code
    http://z3.codeplex.com/
    Z3 is a high-performance theorem prover being developed at Microsoft Research.
    579 views
    Submitted by on Jun 18 2014
    ArgoSMT Code
    http://argo.matf.bg.ac.rs/?content=downloads
    ArgoSMT (which is still in early phases of its development) is an open source, freely available SMT ...
    362 views
    Submitted by on Jun 18 2014
    http://www.norvig.com/beal.html
    An attempt to disprove Beal's Conjecture.
    708 views
    Submitted by on Jul 08 2014
    Beaver Code
    http://uclid.eecs.berkeley.edu/jha/beaver-dist/beaver.html
    Beaver is an SMT solver (decision procedure) for the theory of quantifier-free finite-precision bit-...
    271 views
    Submitted by on Jun 18 2014
    CVC3 Code
    http://www.cs.nyu.edu/acsys/cvc3/
    CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be use...
    250 views
    Submitted by on Jun 18 2014
    CVC4 Code
    http://cvc4.cs.nyu.edu/web/
    CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) p...
    270 views
    Submitted by on Jun 18 2014
    http://verify.stanford.edu/CVC/
    CVC is a program for checking logical validity of certain kinds of formulas.
    510 views
    Submitted by on Jun 18 2014
    http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/frapps/0.html
    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is a portable resolution theorem-...
    241 views
    Submitted by on Jul 09 2014
    HOL4 Code
    http://hol.sourceforge.net/
    HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programm...
    255 views
    Submitted by on Jun 18 2014
    ftp/larc/PVS-library/
    The NASA PVS Library is a collection of formal developments in PVS maintained by the NASA Langley Fo...
    319 views
    Submitted by on Jul 09 2014