leanprover-community / lean4-samples
Code samples for Lean 4
☆71Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lean4-samples
- Lean 4 kernel / 'external checker' written in Lean 4☆72Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆68Updated 2 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆38Updated 4 months ago
- LaTeX code for a paper on lean's type theory☆119Updated 2 years ago
- Intuitive, type-safe expression quotations for Lean 4.☆75Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated this week
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆98Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆114Updated this week
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆60Updated 3 months ago
- Tactics for discharging Lean goals into SMT solvers.☆102Updated 2 weeks ago
- Experiments in automation for Lean☆72Updated this week
- ☆18Updated last month
- Formalizing "Proofs from THE BOOK"