HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by joshlk | Hacker News Reader
Full thread
joshlk
·
Some of the Lean proofs are 50k lines - is that normal?
View on HN
No comments yet.