"Why not just use Lean?"

by ibobev | View on Hacker News