TY  - RPRT
TI  - A Formalization of Core Why3 in Coq
AU  - Cohen, Joshua M.
AU  - Johnson-Freyd, Philip
PY  - 2024
DO  - 10.1145/3632902
UR  - https://www.osti.gov/biblio/2311377
ID  - 2311377
ER  -