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