The following pages link to A scalable module system (Q391632):
Displaying 19 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- A web-based toolkit for mathematical word processing applications with semantics (Q2364686) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- (Q6079227) (← links)
