"Why not just use Lean?"

· Hacker News