"Why not just use Lean?"

[ibobev]

Article URL: https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html

Comments URL: https://news.ycombinator.com/item?id=47922079

Points: 79

# Comments: 27