TY  - RPRT
TI  - Misquoted No More: Securely Extracting F* Programs with IO
AU  - Cezar-Constantin Andrici
AU  - Abigail Pribisova
AU  - Danel Ahman
AU  - Catalin Hritcu
AU  - Exequiel Rivas
AU  - Théo Winterhalter
PY  - 2026
UR  - https://arxiv.org/abs/2602.19973
ID  - 2602.19973
ER  -