As a first proof-of-concept, we have successfully synthesized formally-verified solvers for advection, hydrodynamic (Euler), and electromagnetic (Maxwell) equations, at various levels of accuracy and stability. Some of the correctness proofs are tens of thousands of lines! (9/10)