Comment by nine_k

13 hours ago

That's why the solution should be presented in a verifiable formal language, such as Lean. Which is the case with the Navier-Stokes problem.

0 comments