Pages that link to "Item:Q3582731"

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)