%0 Journal Article %1 journals/corr/ZimmermannH15 %A Zimmermann, Théo %A Herbelin, Hugo %D 2015 %J CoRR %K %T Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. %U http://dblp.uni-trier.de/db/journals/corr/corr1505.html#ZimmermannH15 %V abs/1505.05028

@article{journals/corr/ZimmermannH15, added-at = {2023-12-13T06:43:28.000+0100}, author = {Zimmermann, Théo and Herbelin, Hugo}, biburl = {https://www.bibsonomy.org/bibtex/24881b9c6c7e4ead9e979855787d21e29/admin}, ee = {http://arxiv.org/abs/1505.05028}, interhash = {b0f1f04c371ac280f739dbde3bea207e}, intrahash = {4881b9c6c7e4ead9e979855787d21e29}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T06:43:28.000+0100}, title = {Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1505.html#ZimmermannH15}, volume = {abs/1505.05028}, year = 2015 }