hamousavi / WalnutLinks
Automated Theorem Prover for Automatic Words
☆21Updated 4 years ago
Alternatives and similar repositories for Walnut
Users that are interested in Walnut are comparing it to the libraries listed below
Sorting:
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Metamath verifier in Python☆39Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- ☆142Updated this week
- ☆19Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated 10 months ago
- ☆42Updated 4 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- A program for making zooming slides in figma.☆37Updated 2 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- Source of metamath book☆48Updated last year
- ☆19Updated 2 years ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Port of Aleph to SWI-Prolog☆48Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated last week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆144Updated 7 months ago
- SWI Prolog library to interface to the GPT API☆19Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- metamath proof enumerators and other things☆93Updated 10 months ago