@misc{indiciae363392f0d5c6,
  title = {Finite element method. Detailed proofs to be formalized in Coq},
  author = {François Clément and Vincent Martin},
  year = {2024},
  url = {https://arxiv.org/abs/2410.01538},
  note = {Source identifier: 2410.01538}
}