MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
From MaRDI portal
Publication:865631
DOI10.1016/J.JAL.2005.10.004zbMATH Open1107.68103OpenAlexW1972647229MaRDI QIDQ865631FDOQ865631
Publication date: 20 February 2007
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.10.004
Recommendations
Cites Work
Cited In (22)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- Presenting and explaining Mizar
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mizar: State-of-the-art and Beyond
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
- Automated Improving of Proof Legibility in the Mizar System
- Mathematical Knowledge Management
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
- MizarMode
- A comparison of Mizar and Isar
- ATP and presentation service for Mizar formalizations
- Custom automations in Mizar
- Pollack-inconsistency
- MPTP 0.2: Design, implementation, and initial experiments
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)
- MikiBeta : A General GUI Library for Visualizing Proof Trees
- Semantics of Mizar as an Isabelle object logic
- New Developments in Parsing Mizar
- Integrating searching and authoring in Mizar
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- Mathematical Knowledge Management
Uses Software
This page was built for publication: MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865631)
