Alternatives and similar repositories for prover

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

• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Updated 3 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 9 months ago
• delaray / hypergraph
  A CLOS implementation of an in memory hypergraph database and semantic networks.
  ☆11Updated 4 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated this week
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆12Updated 7 years ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆12Updated 4 years ago
• atlas-engineer / nkeymaps
  General-purpose keymap management à-la Emacs
  ☆15Updated 10 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆51Updated last year
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆21Updated 3 years ago
• SeijiKoide / SWCLOS
  Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm
  ☆17Updated 6 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆38Updated 4 years ago
• SonyCSLParis / cl-pcp
  Common Lisp Package for Parallel Corpus Processing
  ☆13Updated last year
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last month
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆18Updated last year
• 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…
  ☆29Updated 6 months ago
• binghe / OSCAR
  The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
  ☆14Updated 7 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆80Updated 2 months ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆63Updated 4 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 9 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• dlowe-net / orcabot
  A full-featured IRC bot in Common Lisp
  ☆17Updated 6 months ago
• s-expressionists / Ecclesia
  Utilities for parsing Lisp code - previously known as cleavir-code-utilities
  ☆10Updated 5 months ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago