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. Active study work resumes once the qagents framework is staged on AWS-based infrastructure.
version leanprover/lean4:v4.29.1
source proving/lean-toolchain
built 2026-05-24T20:33:04.117Z
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.29.1