Y
Hacker News
new
|
ask
|
show
|
jobs
by
md224
69 days ago
I believe you can thank Verso for that:
https://github.com/leanprover/verso