@misc{misc, title  = {{Formalising Fisher's Inequality: Formal Linear Algebraic Proof
  Techniques in Combinatorics}},

 url = {{http://dx.doi.org/10.4230/LIPIcs.ITP.2022.11 }},

 year = {{2022}},

 month = {{7}},

 author = {{Edmonds C and Paulson LC}},

 note = {{Accessed on 2024/12/23}}}