Translating the IMPS theory library to MMT/OMDoc

DOI10.1007/978-3-319-96812-4_2zbMath1417.68175OpenAlexW2884797246MaRDI QIDQ1798938

Michael Kohlhase, Jonas Betzendahl

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_2

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Unnamed Item ⋮ Experiences from exporting major proof assistant libraries

Uses Software

• Mizar
• HOL Light
• MMT
• OMDoc
• IMPS
• theoremprover-museum

This page was built for publication: Translating the IMPS theory library to MMT/OMDoc