TY  - GEN

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

UR  - http://dx.doi.org/10.4230/LIPIcs.ITP.2022.11

PY  - 2022/07/06

AU  - Edmonds C

AU  - Paulson LC

ED  - 

Y2  - 2024/12/23

ER  -