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]
No references recorded for this publication.
No citations of this publication recorded.