Pages that link to "Item:Q819987"
From MaRDI portal
The following pages link to The seventeen provers of the world. Foreword by Dana S. Scott.. (Q819987):
Displaying 6 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688) (← links)
- Tool Support for Proof Engineering (Q2867938) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
