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
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆142Updated last year
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
  ☆237Updated 2 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated 2 months ago
• eprover / eprover
  ☆164Updated 2 weeks ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 5 months ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Updated 11 years ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆47Updated 2 months ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated last month
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago