Pages that link to "Item:Q2847392"
From MaRDI portal
The following pages link to Using and parsing the Mizar language (Q2847392):
Displaying 7 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- The language of formal mathematics Russell (Q2899004) (← links)
- New Developments in Parsing Mizar (Q2907343) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)