QMT
From MaRDI portal
Software:19192
swMATH7137MaRDI QIDQ19192FDOQ19192
Author name not available (Why is that?)
Cited In (20)
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- Software citations, information systems, and beyond
- A scalable module system
- Towards Knowledge Management for HOL Light
- Formal logic definitions for interchange languages
- Aligning concepts across proof assistant libraries
- Matching concepts across HOL libraries
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Flexary operators for formalized mathematics
- A query language for formal mathematical libraries
- Generic literals
- Lax theory morphisms
- Classification of alignments between concepts of formal mathematical systems
- A bi-directional extensible interface between Lean and Mathematica
- Experiences from exporting major proof assistant libraries
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Implementing type theory in higher order constraint logic programming
- Supporting data-driven mathematics: database and interface generation
- The MMT API: a generic MKM system
This page was built for software: QMT
