Rounding and method errors of a numerical scheme for the wave equation

The annotated C file and the Coq proofs are available here as .tar.gz.

You may also browse the files: