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."
