Structuring theories with implicit morphisms

DOI10.1007/978-3-030-23220-7_9zbMath1444.68293OpenAlexW2955069101MaRDI QIDQ2185893

Florian Rabe, Dennis Müller

Publication date: 8 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23220-7_9

Mathematics Subject Classification ID

Mathematical knowledge management (68V30)

Uses Software

• MMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A scalable module system
• IMPS: An interactive mathematical proof system
• Theories as types
• How to identify, translate and combine logics?
• MathScheme: Project Description
• Project Abstract: Logic Atlas and Integrator (LATIN)
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories

This page was built for publication: Structuring theories with implicit morphisms