research
∙
07/15/2022
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
We have formalised Szemerédi's Regularity Lemma and Roth's Theorem on Ar...
share
research
∙
07/06/2022
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
The formalisation of mathematics is continuing rapidly, however combinat...
research
∙
05/28/2021