arXiv:1703.06133 [cs.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords fully mechanized proofs, mirskys theorem, dilworths theorem states, smallest chain cover, coq proof assistant Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset