@misc{indiciae9bad67aa8169,
  title = {A Formalization of Core Why3 in Coq},
  author = {Cohen, Joshua M. and Johnson-Freyd, Philip},
  year = {2024},
  doi = {10.1145/3632902},
  url = {https://www.osti.gov/biblio/2311377},
  note = {Source identifier: 2311377}
}