Steve McCormick
@Quasilocal
Mathematician (Math.DG / gr-qc).
+3 Fire damage.
参加 February 2013
362 フォロー中 9.2K ファン
The plot thickens.
"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."
