opencompl / lean-gapLinks
An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
☆15Updated 3 years ago
Alternatives and similar repositories for lean-gap
Users that are interested in lean-gap are comparing it to the libraries listed below
Sorting:
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- ☆12Updated 2 years ago
- A date and time library for Lean 4☆12Updated last month
- Template for Lean<->Rust FFI☆12Updated last year
- Plain-text declaration export for Lean 4☆16Updated last week
- Formalization of Arithmetization of Mathematics/Metamathematics☆12Updated 2 months ago
- Tool to analyse the import structure of lean projects.