A new export of the Mizar mathematical library
From MaRDI portal
Publication:2128826
DOI10.1007/978-3-030-81097-9_17zbMath1485.68294OpenAlexW3183811466MaRDI QIDQ2128826
Florian Rabe, Colin Rothgang, Artur Korniłowicz
Publication date: 22 April 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81097-9_17
Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)
Uses Software
Cites Work
- Unnamed Item
- A scalable module system
- The role of the Mizar mathematical library for interactive proof development in Mizar
- The Mizar Mathematical Library in OMDoc: translation and applications
- Experiences from exporting major proof assistant libraries
- Representing structural language features in formal meta-languages
- Semantics of Mizar as an Isabelle object logic
- Accessing the Mizar Library with a Weakly Strict Mizar Parser
- Extending MKM Formats at the Statement Level
- New Developments in Parsing Mizar
- Formal Logic Definitions for Interchange Languages
- Mathematical Knowledge Management
This page was built for publication: A new export of the Mizar mathematical library
