Alternatives and similar repositories for prover

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

• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 5 months ago
• delaray / hypergraph
  A CLOS implementation of an in memory hypergraph database and semantic networks.
  ☆11Updated 4 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
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 7 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated this week
• JanWielemaker / tabling_library
  Benoit Desouter's library for tabling on delimited continuations
  ☆9Updated 9 years ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆28Updated 2 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago
• arclanguage / Clamp
  Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.
  ☆12Updated 4 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• amosjyng / nlu
  Natural language construction grammar parser
  ☆10Updated 10 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 8 months ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆47Updated 2 weeks ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 2 months ago
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆17Updated last year
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 10 months ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 5 months ago
• SWI-Prolog / bench
  Prolog benchmarks (`van Roy' set)
  ☆16Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆44Updated 8 months ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago