Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Alleged Navier Stokes Existence and Smoothness Proof in Lean
(
twitter.com/davidmbudden
)
2 points
by
ladberg
24 days ago
|
past
David Budden claims end-to-end Lean proof of Navier-Stokes
(
twitter.com/davidmbudden
)
12 points
by
delichon
24 days ago
|
past
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
