MizarMode

MaRDI QIDQ14521swMATHFDO

Official website http://pdb.finkproject.org/pdb/package.php/mizar-mode

Described by source

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

Cited in

(24)

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

This page was built for software: MizarMode