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
  ☆62Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 8 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆29Updated 3 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆77Updated 4 years ago
• haldai / Jurassic.pl
  Call Julia code from Prolog
  ☆27Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆43Updated this week
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 8 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• coq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated last month
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 3 years ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 2 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 3 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆98Updated last week