The following pages link to miz3 (Q30463):
Displayed 11 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Tarski geometry axioms (Q502700) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- (Q5875449) (← links)