Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.

Chelsea Edmonds, Lawrence C. Paulson

Browse the full ITP paper archive.