7 ms·
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.
by nine_k 8d 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.