MizarMode

swMATH1973MaRDI QIDQ14521FDOQ14521

Author name not available (Why is that?)

Described by source

• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics

Cited In (17)

• 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
• Mizar: State-of-the-art and Beyond
• Automated Improving of Proof Legibility in the Mizar System
• Mathematical Knowledge Management
• Information Retrieval and Rendering with MML Query
• ATP and presentation service for Mizar formalizations
• Custom automations in Mizar
• System description: XSL-based translator of Mizar to {\LaTeX}
• Pollack-inconsistency
• MPTP 0.2: Design, implementation, and initial experiments
• Semantics of Mizar as an Isabelle object logic
• Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
• Hammering towards QED
• Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This page was built for software: MizarMode