Makarius Wenzel. Isabelle technology for the Archive of Formal Proofs with application to MMT. In Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller 0001, Karol Pak, Claudio Sacerdoti Coen, editors, Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. Volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.