automated-theorem-provers

There are 15 repositories under automated-theorem-provers topic.

  • newca12/awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

    29713111

  • Chymyst/curryhoward

    Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

    Language:Scala25716616

  • joom/hezarfen

    a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

    Language:Idris119803

  • aztek/atp

    Haskell interface to automated theorem provers

    Language:Haskell8300

  • aztek/tptp

    Parser and pretty printer for the TPTP language

    Language:Haskell7302

  • pSub/master-thesis

    A Language for the Specification and Efficient Implementation of Type Systems

    Language:TeX5901

  • curegit/knuth-bendix-completion

    クヌース・ベンディックス完備化アルゴリズムの OCaml 実装

    Language:OCaml2102

  • elhaddadyacine/ekstrakto

    Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).

    Language:OCaml2200

  • kovzol/ag

    Towards an Automated Geometer

    Language:HTML2301

  • abtsousa/ProverX-Helper-Functions

    Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com

    Language:Python1100

  • joshuacrotts/masters-thesis

    This is a repository for my Master's thesis LaTeX source.

    Language:TeX120

  • pkel/ocaml-tableau

    Basic tableau prover written in ocaml

    Language:OCaml1200

  • oIi123/TableauxProver

    Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic

    Language:Python0100

  • FelipeCortez/prover

    Automated theorem prover for Reasoning @ UoB

    Language:Python10

  • rdbliss/prop

    Resolution-based theorem proving for propositional logic in Haskell

    Language:Haskell20