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