The following pages link to Presenting and explaining Mizar (Q2867936):
Displaying 7 items.
- System description: XSL-based translator of Mizar to {\LaTeX} (Q1798936) (← links)
- A comparison of Mizar and Isar (Q1868515) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- (Q3075247) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Mathematical Knowledge Management (Q5313068) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)