Pages that link to "Item:Q2128787"
From MaRDI portal
The following pages link to A modular first formalisation of combinatorial design theory (Q2128787):
Displayed 3 items.
- 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)