leanprover / LeanInkLinks
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
☆61Updated 10 months ago
Alternatives and similar repositories for LeanInk
Users that are interested in LeanInk are comparing it to the libraries listed below
Sorting:
- Intuitive, type-safe expression quotations for Lean 4.☆85Updated this week
- A Testing Framework for Lean☆53Updated last month
- WIP collections library for Lean 4☆32Updated 3 weeks ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆75Updated last month
- A WIP definitional (co)datatype package for Lean4☆36Updated 5 months ago
- Experiments with SAT solvers with proofs in Lean 4☆57Updated 11 months ago
- Lean 4 library for pretty printing expressions as LaTeX