Comment by nine_k

9 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