alt
Hacker News
joshlk
•
last Saturday at 8:15 PM
•
0 replies
•
view on HN
Some of the Lean proofs are 50k lines - is that normal?
alt Hacker News