QMT
From MaRDI portal
Cited in
(38)- Supporting data-driven mathematics: database and interface generation
- Classification of alignments between concepts of formal mathematical systems
- JEFL: joint embedding of formal proof libraries
- Aligning concepts across proof assistant libraries
- ProofWidgets
- A query language for formal mathematical libraries
- Generic literals
- Formal logic definitions for interchange languages
- Software citations, information systems, and beyond
- MathWebSearch
- MMT
- TNTBase
- Polar
- GF
- MathHub.info
- LATIN
- LLFp
- Mathfind
- biber
- DiscreteZOO
- SMGLoM
- ELPI
- MathML
- OpenTheory
- Whelp
- WebMIaS
- Implementing type theory in higher order constraint logic programming
- The MMT API: a generic MKM system
- Towards Knowledge Management for HOL Light
- Matching concepts across HOL libraries
- Experiences from exporting major proof assistant libraries
- Lax theory morphisms
- A bi-directional extensible interface between Lean and Mathematica
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- The future of logic: foundation-independence
- A scalable module system
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Flexary operators for formalized mathematics
This page was built for software: QMT
