Studying
Studying
Lean4 expert-track study + open-source contribution roadmap. 10 ranked focus areas in studying/focus-areas.md; toolchain-aligned to whatever proving/ + accounting/ pin.
version leanprover/lean4:v4.30.0-rc2
source proving/lean-toolchain
built 2026-05-04T19:11:03.785Z
NOT YET LIVE Diagrams pending (study tracker)
No live surface in v1 — studying is a roadmap, not a runtime.
Metrics
- focusAreaCount
- 10
- toolchain
- leanprover/lean4:v4.30.0-rc2