MizarMode
From MaRDI portal
Cited in
(24)- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- Presenting and explaining Mizar
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Automated Improving of Proof Legibility in the Mizar System
- Mathematical Knowledge Management
- Information Retrieval and Rendering with MML Query
- MoMM
- MML
- TRX
- Metamath
- miz3
- RapidXml
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- Overview and evaluation of premise selection techniques for large theory mathematics
- ATP and presentation service for Mizar formalizations
- Custom automations in Mizar
- System description: XSL-based translator of Mizar to {\LaTeX}
- MPTP 0.2: Design, implementation, and initial experiments
- Pollack-inconsistency
- mizar-items
- Semantics of Mizar as an Isabelle object logic
- Mizar: state-of-the-art and beyond
- Hammering towards QED
This page was built for software: MizarMode
