Pages that link to "Item:Q2907314"
From MaRDI portal
The following pages link to Extending MKM Formats at the Statement Level (Q2907314):
Displaying 7 items.
- A scalable module system (Q391632) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- (Q6079227) (← links)
