“Why not just use Lean?”
(news.ycombinator.com)
1.
2.
"Why not just use Lean?"
(news.ycombinator.com)