Alternatives and similar repositories for LearnSAT

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

• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆25Updated last month
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 9 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆31Updated 2 weeks ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆127Updated last week
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 2 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ganeshutah / Jove
  ☆75Updated 6 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 7 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last month
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆12Updated this week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated 3 weeks ago