%0 Conference Paper %1 conf/esop/CohenCM24a %A Cohen, Cyril %A Crance, Enzo %A Mahboubi, Assia %B ESOP (1) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 269-274 %T Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#CohenCM24a %V 14576 %@ 978-3-031-57262-3

@inproceedings{conf/esop/CohenCM24a, added-at = {2024-06-08T00:00:00.000+0200}, author = {Cohen, Cyril and Crance, Enzo and Mahboubi, Assia}, biburl = {https://www.bibsonomy.org/bibtex/21d5b3846e8c1a24833d0017a0b69da36/dblp}, booktitle = {ESOP (1)}, crossref = {conf/esop/2024-1}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57262-3_11}, interhash = {abf2420ca22fef17d682b540e9861a23}, intrahash = {1d5b3846e8c1a24833d0017a0b69da36}, isbn = {978-3-031-57262-3}, keywords = {dblp}, pages = {269-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:40:10.000+0200}, title = {Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#CohenCM24a}, volume = 14576, year = 2024 }