Sternagel, Christian. 2014. “Certified Kruskal’s Tree Theorem”. Journal of Formalized Reasoning 7 (1):45-62. https://doi.org/10.6092/issn.1972-5787/4213.