Pages that link to "Item:Q3582731"
From MaRDI portal
The following pages link to A Wiki for Mizar: Motivation, Considerations, and Initial Prototype (Q3582731):
Displayed 8 items.
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)
- An integrated web platform for the Mizar Mathematical Library (Q6159377) (← links)