Dongchen Jiang and Tobias Nipkow
17 December 2010
This is an unofficial reimagining of the Archive of Formal Proofs
[2011-09-09] Added Rado's proof
Marriage-AFP
@article{Marriage-AFP, author = {Dongchen Jiang and Tobias Nipkow}, title = {Hall's Marriage Theorem}, journal = {Archive of Formal Proofs}, month = December, year = 2010, note = {\url{http://isa-afp.org/entries/Marriage.html}, Formal proof development}, ISSN = {2150-914x}, }
Older releases: