hamousavi / Walnut
Automated Theorem Prover for Automatic Words
☆21Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Walnut
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Pedagogical first-order prover in Python☆73Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- ☆132Updated this week
- ☆39Updated 2 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- ☆16Updated 4 months ago
- Implementation of higher-order logic in Python☆58Updated last year
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆12Updated 3 months ago
- ☆19Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- ☆22Updated this week
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆17Updated 2 years ago
- Logic and Mechanized Reasoning☆84Updated 4 months ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated this week
- Metamath verifier in Python☆34Updated 7 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆77Updated last month
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- ☆10Updated this week
- ☆27Updated 3 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- A lazy-grounding Answer-Set Programming system☆58Updated last week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- A symbolic model checker for Dynamic Epistemic Logic.☆43Updated 3 weeks ago