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.
    541 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 ...
    346 views
    Submitted by on Jun 18 2014
    http://www.norvig.com/beal.html
    An attempt to disprove Beal's Conjecture.
    673 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-...
    254 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...
    236 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...
    255 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.
    494 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-...
    226 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...
    239 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...
    299 views
    Submitted by on Jul 09 2014