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