Towards the Dream Zone: Better Measurement and Collaboration in Lean
4222...745152
by
0x6498...69C8
•Celo
—
44322412
This work explores the application of impact evaluators to reduced-scope Lean formalizations.
44322412
This work explores the application of impact evaluators to reduced-scope Lean formalizations.
Jul 26, 2025 — Aug 8, 2025