Pages that link to "Item:Q1945907"
From MaRDI portal
The following pages link to The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907):
Displaying 16 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- A scalable module system (Q391632) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- System Description: MathHub.info (Q5495942) (← links)
- (Q6079227) (← links)
