Pages that link to "Item:Q2128787"

The following pages link to A modular first formalisation of combinatorial design theory (Q2128787):

Displaying 2 items.

• 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)