philzook58 / knuckledragger
A Low Barrier Proof Assistant
☆78Updated last week
Alternatives and similar repositories for knuckledragger:
Users that are interested in knuckledragger are comparing it to the libraries listed below
- a categorical deep learning compiler☆199Updated 3 weeks ago
- ☆80Updated 5 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆97Updated last year
- Python bindings for the egg-smol rust library☆68Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆170Updated this week
- Pedagogical first-order prover in Python☆75Updated 3 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆68Updated 2 weeks ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆33Updated 6 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆99Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated 2 weeks ago
- An awesome list of e-graph resources☆140Updated last month
- LLVM support for the lean theorem prover☆45Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- Slog 1.0☆39Updated 9 months ago
- A probabilistic approximate DNF counter☆36Updated 11 months ago
- ☆14Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated 7 months ago
- A simple raytracer written in Lean 4☆134Updated 10 months ago
- Code for enumeration from a CFG☆18Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆77Updated 3 months ago
- A verified tensor library in Lean☆20Updated this week
- Brzozowski derivative python sketch☆85Updated 11 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆95Updated 2 weeks ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated last week
- Genetic program repair using GHC☆30Updated 10 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 9 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆54Updated 11 months ago
- ☆50Updated 9 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year