Hacker News

new
show
ask
jobs

Alleged Navier Stokes Existence and Smoothness Proof in Lean

1 points

by ladberg

10 hours ago

story

loading...