Lean
Functional programming language and interactive theorem prover for writing machine-checked proofs.
0 members list Lean, unchanged over the last 12 weeks, data as of 10 October 2026
Usage on Stackness
0membersunchanged over the last 12 weeks
Members who list Lean in their Stack, by week.
Nobody has this tool in their stack yet.
Posts about Lean
- Do testing instructions improve coding agent correctness? What 30 conditions on one Zstd task measured
In a 30-condition eval, telling Codex to use TDD cut fully correct Zstd decoders by 5 to 7 points. No testing instruction clearly beat none.