TY  - RPRT
TI  - Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
AU  - Chelsea Edmonds
AU  - Lawrence C. Paulson
PY  - 2022
DO  - 10.4230/lipics.itp.2022.11
UR  - https://arxiv.org/abs/2207.02728
ID  - 2207.02728
ER  -