The following pages link to Mizar (Q16873):
Displaying 7 items.
- The Matiyasevich theorem. Preliminaries (Q1795565) (← links)
- Sequences of prime reciprocals. Preliminaries (Q1796770) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13--17, 2015, Proceedings (Q2351555) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)
