NS Check
A formal proof can compile while proving a different statement from the one its reader has in mind. Five checks separate what this recorded Navier–Stokes audit establishes.
Source not currently publicRecorded research exhibit
Understand the five checks →