@article {1703.06133, archivePrefix = {arXiv}, eprint = {1703.06133}, primaryClass = {cs.LO}, author = {Abhishek Kr Singh}, title = {Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem}, year = {2017}, url = {http://arxiv.org/abs/1703.06133} }