ByNobleID
    Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics | NobleID