The following pages link to The MMT API: A Generic MKM System (Q2843035):
Displaying 19 items.
- MMT (Q19191) (← links)
- The future of logic: foundation-independence (Q263104) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Software citations, information systems, and beyond (Q2364704) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Generic Literals (Q3453109) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- Matching Concepts across HOL Libraries (Q5495929) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
