Index of Lean repository scores
A public index of Lean 4 project scores. Each line is one GitHub repository: how it builds, how it pins Lean, and the coarse signals we can read from source.
— published reports
Submission queued
A public index of Lean 4 project scores. Each line is one GitHub repository: how it builds, how it pins Lean, and the coarse signals we can read from source.
— published reports
Submission queued