nadja-y Nadja Yang
github.com/nadja-y · maintains 12 packages (12 directly), sole maintainer of 11, member of 0 teams
12 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Automatic and interactive theorem prover |
4.34.1 |
4 | 10 | 0 | 0 | maintained | ||
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 |