The MMT API: A Generic MKM System
From MaRDI portal
Publication:2843035
DOI10.1007/978-3-642-39320-4_25zbMath1390.68626arXiv1306.3199OpenAlexW1737956052MaRDI QIDQ2843035
Publication date: 9 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1306.3199
Related Items (19)
Lax Theory Morphisms ⋮ Classification of alignments between concepts of formal mathematical systems ⋮ Software citations, information systems, and beyond ⋮ JEFL: joint embedding of formal proof libraries ⋮ Generic Literals ⋮ A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics ⋮ Formal Logic Definitions for Interchange Languages ⋮ Math Literate Knowledge Management via Induced Material ⋮ A Query Language for Formal Mathematical Libraries ⋮ Aligning concepts across proof assistant libraries ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ MMT ⋮ Experiences from exporting major proof assistant libraries ⋮ Implementing type theory in higher order constraint logic programming ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics ⋮ Matching Concepts across HOL Libraries ⋮ Flexary Operators for Formalized Mathematics ⋮ Towards Knowledge Management for HOL Light ⋮ The future of logic: foundation-independence
Uses Software
This page was built for publication: The MMT API: A Generic MKM System
