Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
xvilka
on Sept 9, 2019
|
parent
|
context
|
favorite
| on:
The Future of Mathematics? [pdf]
There are way more libraries and plugins for Coq though. Using Lean would require writing them by yourself.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
