}
Advanced Search Tips
Automated Theorem Proving Editors: Open AI Resources
    59 results in "Automated Theorem Proving"
    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 ...
    1176 views
    Submitted by on Jun 18 2014
    http://www.norvig.com/beal.html
    An attempt to disprove Beal's Conjecture.
    2379 views
    Submitted by on Jul 08 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...
    1347 views
    Submitted by on Jun 18 2014
    CVC4 Code
    https://github.com/CVC4/CVC4
    CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) p...
    1006 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-...
    1009 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...
    995 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...
    1179 views
    Submitted by on Jul 09 2014
    Princess Code
    http://www.philipp.ruemmer.org/princess.shtml
    Princess is a theorem prover for Presburger arithmetic with uninterpreted predicates.
    139 views
    Submitted by on Jun 18 2014
    http://pvs.csl.sri.com/
    PVS is a verification system: that is, a specification language integrated with support tools and a ...
    125 views
    Submitted by on Jun 18 2014
    http://sal.csl.sri.com/
    The heart of SAL is a language, developed in collaboration with Stanford and Berkeley, for specifyin...
    1319 views
    Submitted by on Jun 18 2014