11 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Command-line argument parser for Lean 4 |
4.34.0 |
1 | 7 | 1 | 3 | single | ||
Lean 4 client for LeanSearch and Moogle proof search |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Lean 4 compile-time quote and antiquote macros for metaprogramming |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
White-box automation for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 8 | 1 | 2 | single | ||
The batteries-included extended library for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 7 | 2 | 3 | single | ||
Tools to analyse and visualise Lean 4 import structures |
4.34.0-unstable-2026-09-14 |
1 | 8 | 1 | 2 | single | ||
Automatic and interactive theorem prover |
4.34.1 |
1 | 5 | 9 | 10 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 3 | 0 | 0 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 14 | 1 | 1 | single | ||
Property-based testing framework for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Interactive UI framework for Lean 4 proof assistants |
0.0.111-unstable-2026-09-14 |
1 | 9 | 1 | 2 | single |