Tools for MML Environment Analysis
From MaRDI portal
Publication:3453132
DOI10.1007/978-3-319-20615-8_26zbMath1417.68213OpenAlexW1960437130MaRDI QIDQ3453132
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20615-8_26
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ MML
Uses Software
Cites Work
- Unnamed Item
- On rewriting rules in Mizar
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
- A Brief Overview of Mizar
- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
- Licensing the Mizar Mathematical Library
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
- Mathematical Knowledge Management
- Revisions as an Essential Tool to Maintain Mathematical Repositories
This page was built for publication: Tools for MML Environment Analysis