“For his groundbreaking contributions to the theory and application of partial differential equations and to the computation of their solutions.” … Continue reading The Foundation of Code Verification: The Lax Equivalence Theorem