4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Alena Gusakov, Bhavik Mehta, Kyle A. Miller
We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One go…