Machine Logic
At the junction of computation, logic and mathematics
Tag: Szemerédi’s regularity lemma
Formalising extremal graph theory, I
(19 Jan 2022)