@Inproceedings{EPTCS186.8, author = {Assaf, Ali and Burel, Guillaume}, year = {2015}, title = {Translating HOL to Dedukti}, editor = {Kaliszyk, Cezary and Paskevich, Andrei}, booktitle = {{\rm Proceedings Fourth Workshop on} Proof eXchange for Theorem Proving, {\rm Berlin, Germany, August 2-3, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {186}, publisher = {Open Publishing Association}, pages = {74-88}, doi = {10.4204/EPTCS.186.8}, }