Relational data across mathematical libraries

DOI10.1007/978-3-030-23250-4_5zbMath1428.68352OpenAlexW2954163388MaRDI QIDQ2287899

Claudio Sacerdoti Coen, Makarius Wenzel, Dennis Müller, Florian Rabe, Michael Kohlhase, Andrea Condoluci

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_5

Mathematics Subject Classification ID

Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)

Related Items (3)

Learning support systems based on mathematical knowledge management ⋮ Unnamed Item ⋮ Experiences from exporting major proof assistant libraries

Uses Software

• Coq
• Isabelle
• Isabelle/jEdit
• Isabelle/PIDE
• SPARQL
• Whelp

This page was built for publication: Relational data across mathematical libraries