arthurpaulino / NumLeanLinks
A Lean 4 package for heavy numerical computations
☆18Updated 3 years ago
Alternatives and similar repositories for NumLean
Users that are interested in NumLean are comparing it to the libraries listed below
Sorting:
- WIP collections library for Lean 4☆32Updated 3 months ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- maze game encoded in Lean 4 syntax☆60Updated last month
- ☆53Updated 2 weeks ago