Pages that link to "Item:Q865631"
From MaRDI portal
The following pages link to MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631):
Displaying 13 items.
- MizarMode (Q14521) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← 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)
- Presenting and Explaining Mizar (Q2867936) (← links)
- New Developments in Parsing Mizar (Q2907343) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (Q5049030) (← links)
- Pollack-inconsistency (Q5170237) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
