acornprover / acornlibLinks
Acorn's standard library of mathematical facts.
☆46Updated 3 weeks ago
Alternatives and similar repositories for acornlib
Users that are interested in acornlib are comparing it to the libraries listed below
Sorting:
- Rust bindings to GAP (Groups, Algorithms, Programming)☆29Updated 2 years ago
- ☆93Updated 2 years ago
- How to read Lean☆21Updated 10 months ago
- A template for blueprint-driven formalization projects in Lean.☆76Updated 2 weeks ago
- A collaborative environment for formal, interoperable, conceptual modeling☆130Updated last week
- Python bindings for the egglog rust library☆90Updated this week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated 2 years ago
- a categorical deep learning compiler☆205Updated 2 months ago
- The core implementation of the Acorn language.☆34Updated this week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated last year
- An interactive theorem prover for string diagrams☆123Updated last year
- tool for turning Lean proofs into Blender animations☆78Updated last week
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- Tactics for discharging Lean goals into SMT solvers.☆239Updated 2 weeks ago
- Formalizing stochastic doubly-efficient debate☆113Updated last year
- egraph <-> json☆15Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 5 months ago
- ☆119Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆37Updated last week
- The standard template to create a lean game☆33Updated last month
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated 2 years ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- A minimal proof checker.☆77Updated last year
- A verified tensor library in Lean☆30Updated 2 months ago
- ☆24Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Code samples for Lean 4☆77Updated 2 years ago
- Haskell implementation of open games☆181Updated 10 months ago
- blueprint for prime number theorem and more☆211Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆197Updated last week