Michael Kohlhase, Florian Rabe, Makarius Wenzel. Making Isabelle Content Accessible in Knowledge Representation Formats. In Marc Bezem, Assia Mahboubi, editors, 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. Volume 175 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.