TY  - RPRT
TI  - Formalizing Hall's Marriage Theorem in Lean
AU  - Alena Gusakov
AU  - Bhavik Mehta
AU  - Kyle A. Miller
PY  - 2021
UR  - https://arxiv.org/abs/2101.00127
ID  - 2101.00127
ER  -