"Why not just use Lean?"

[ibobev]

Article URL: "Why not just use Lean?"

Comments URL: "Why not just use Lean?" | Hacker News

Points: 135

# Comments: 56

Continue reading...