@misc{indiciaeea6043b44204,
  title = {A formal proof of the Lax equivalence theorem for finite difference schemes},
  author = {Mohit Tekriwal and Karthik Duraisamy and Jean-Baptiste Jeannin},
  year = {2021},
  url = {https://arxiv.org/abs/2103.13534},
  note = {Source identifier: 2103.13534}
}