Pages that link to "Item:Q5094473"
From MaRDI portal
The following pages link to Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473):
Displayed 6 items.
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)
- Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project (Q6118809) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)
- Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL (Q6156630) (← links)
- Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis (Q6159370) (← links)