Alternatives and similar repositories for pylogic

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

• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆95Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆30Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 4 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 9 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated last month
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• reverie / python-automata
  A Python library for working with finite state automata.
  ☆26Updated 13 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last week
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆202Updated 3 years ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated last month
• eprover / eprover
  ☆142Updated 2 weeks ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆169Updated last year
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated 3 weeks ago