Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
joshlk
2 days ago
Some of the Lean proofs are 50k lines - is that normal?
