Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
aSanchezStern
on Oct 27, 2023
|
parent
|
context
|
favorite
| on:
Lean4 helped Terence Tao discover a small bug in h...
Additionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
