MizarMode
From MaRDI portal
Software:14521
No author found.
Related Items (17)
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving ⋮ Mizar: State-of-the-art and Beyond ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ ATP and presentation service for Mizar formalizations ⋮ Custom automations in Mizar ⋮ Pollack-inconsistency ⋮ Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar ⋮ Information Retrieval and Rendering with MML Query ⋮ System description: XSL-based translator of Mizar to {\LaTeX} ⋮ Mathematical Knowledge Management ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Automated Improving of Proof Legibility in the Mizar System ⋮ A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory ⋮ Hammering towards QED ⋮ Presenting and Explaining Mizar
This page was built for software: MizarMode
