Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
carterschonwald
on Nov 11, 2020
|
parent
|
context
|
favorite
| on:
Building the Mathematical Library of the Future
Here’s a nice paper and talk by the mathlib folks at a January 2020 proofs and certified programs conf
https://popl20.sigplan.org/details/CPP-2020-papers/14/The-Le...
Might be fun reading for folks
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Might be fun reading for folks