Formalizing the Bruck-Ryser-Chowla Theorem: Combinatorial Design Theory in Lean.

Eric Jonathan Wang, Elif skpl

Browse the full ITP paper archive.