motib / LearnSAT
SAT solver for education
☆26Updated 2 years ago
Alternatives and similar repositories for LearnSAT:
Users that are interested in LearnSAT are comparing it to the libraries listed below
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated last week
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- HoTT in Lean 3☆79Updated 4 years ago
- ☆56Updated 5 months ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated last week
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆10Updated 6 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic