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 ...
    1066 views
    Submitted by on Jun 18 2014
    http://www.norvig.com/beal.html
    An attempt to disprove Beal's Conjecture.
    2230 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...
    1276 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...
    936 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-...
    941 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...
    932 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...
    1111 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.
    80 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 ...
    67 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...
    1187 views
    Submitted by on Jun 18 2014