swMATH1973MaRDI QIDQ14521FDOQ14521
Author name not available (Why is that?)
Official website: http://pdb.finkproject.org/pdb/package.php/mizar-mode
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
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- Overview and evaluation of premise selection techniques for large theory mathematics
- miz3
- ATP and presentation service for Mizar formalizations
- Custom automations in Mizar
- RapidXml
- System description: XSL-based translator of Mizar to {\LaTeX}
- mizar-items
- Pollack-inconsistency
- MPTP 0.2: Design, implementation, and initial experiments
- 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
