Alternatives and similar repositories for prover:

Users that are interested in prover are comparing it to the libraries listed below

• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated last month
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 6 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆30Updated 5 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 10 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆27Updated 3 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 4 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆42Updated last month
• lispm / FRL
  Frame Representation Language
  ☆14Updated 7 years ago
• delaray / hypergraph
  A CLOS implementation of an in memory hypergraph database and semantic networks.
  ☆10Updated 4 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• JanWielemaker / tabling_library
  Benoit Desouter's library for tabling on delimited continuations
  ☆9Updated 8 years ago
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆25Updated last week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last week
• mndrix / miser
  Prolog library for building self-optimizing predicates
  ☆9Updated 10 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆16Updated 5 years ago