The following pages link to MizarMode (Q14521):
Displaying 17 items.
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- System description: XSL-based translator of Mizar to {\LaTeX} (Q1798936) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving (Q2881098) (← links)
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (Q2908509) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar (Q3582702) (← links)
- Pollack-inconsistency (Q5170237) (← links)
- Hammering towards QED (Q5195271) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
- Information Retrieval and Rendering with MML Query (Q5756776) (← links)
- Mathematical Knowledge Management (Q5898530) (← links)
