Comment Comment by robotpepi How much lean code do you need to read to check if NAvier-Stokes was correctly formalized? parent robotpepi 23 days ago