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