Alternatives and similar repositories for pytableaux

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

• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• kakwa / pylogic
  Python Module for Logical Validation (forked from Rob Truxler library)
  ☆26Updated 5 years ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Updated 11 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆30Updated 11 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆47Updated 2 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆142Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• wo / tpg
  Tree Proof Generator
  ☆177Updated last month
• mrocklin / unification
  ☆71Updated 4 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆86Updated last week
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆16Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 6 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆171Updated last year
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆97Updated this week
• nadia-polikarpova / synquid
  ☆143Updated 3 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago