Comment

Comment by JohnKemeny

Your link 404s

> The main branch of formal-conjectures does not contain the path `FormalConjectures/Millenium/NavierStokes.lean.`

parent JohnKemeny 1 month ago

No comments yet

Be the first to share your thoughts.