@misc{indiciae522827a69e07,
  title = {Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics},
  author = {Chelsea Edmonds and Lawrence C. Paulson},
  year = {2022},
  doi = {10.4230/lipics.itp.2022.11},
  url = {https://arxiv.org/abs/2207.02728},
  note = {Source identifier: 2207.02728}
}