An integrated web platform for the Mizar Mathematical Library
From MaRDI portal
Publication:6159377
DOI10.1007/978-3-031-16681-5_9arXiv2210.02336OpenAlexW4296118761MaRDI QIDQ6159377
Kazuhisa Nakasho, Daichi Yamamichi, Hideharu Furushima, Seigo Shigenaka, Katsumi Wasaki
Publication date: 2 June 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.02336
Cites Work
- Unnamed Item
- Unnamed Item
- Four decades of {\textsc{Mizar}}. Foreword
- The role of the Mizar mathematical library for interactive proof development in Mizar
- ATP and presentation service for Mizar formalizations
- Maintaining a library of formal mathematics
- TGView3D: a system for 3-dimensional visualization of theory graphs
- Integrating searching and authoring in Mizar
- Formal Mathematics on Display: A Wiki for Flyspeck
- MathJax: A Platform for Mathematics on the Web
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- Tools for MML Environment Analysis
- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
- Large Formal Wikis: Issues and Solutions
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
This page was built for publication: An integrated web platform for the Mizar Mathematical Library
