TY  - RPRT
TI  - Trocq: Proof Transfer for Free, With or Without Univalence
AU  - Cyril Cohen
AU  - Enzo Crance
AU  - Assia Mahboubi
PY  - 2024
UR  - https://arxiv.org/abs/2310.14022
ID  - 2310.14022
ER  -