acornprover / acornlibLinks
Acorn's standard library of mathematical facts.
☆32Updated this week
Alternatives and similar repositories for acornlib
Users that are interested in acornlib are comparing it to the libraries listed below
Sorting:
- ☆92Updated last year
- a categorical deep learning compiler☆205Updated last week
- ☆229Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆73Updated last week
- How to read Lean☆19Updated 7 months ago
- Formalizing stochastic doubly-efficient debate☆109Updated 11 months ago
- The core implementation of the Acorn language.☆28Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆222Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated 3 weeks ago
- Source code for the Mathematics in Lean tutorial.☆168Updated last month
- A collaborative environment for formal, interoperable, conceptual modeling☆114Updated this week
- blueprint for prime number theorem and more☆189Updated last week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- plasTeX plugin to build formalization blueprints.☆241Updated last week
- ☆23Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Lean documentation authoring tool☆220Updated this week
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆33Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆119Updated last week
- Exponent pair database☆61Updated last week
- a zero-knowledge proof-carrying code platform for Lean 4☆48Updated last week
- An interactive theorem prover for string diagrams☆120Updated 11 months ago
- ☆81Updated 3 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆65Updated last year
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Experiments on automation for Lean☆136Updated this week
- Logic and Mechanized Reasoning☆105Updated 2 months ago
- tool for turning Lean proofs into Blender animations☆75Updated last month
- Conservative floating point interval arithmetic in Lean☆21Updated this week