TY  - RPRT
TI  - A formal proof of the Lax equivalence theorem for finite difference schemes
AU  - Mohit Tekriwal
AU  - Karthik Duraisamy
AU  - Jean-Baptiste Jeannin
PY  - 2021
UR  - https://arxiv.org/abs/2103.13534
ID  - 2103.13534
ER  -