A formalization of Kruskal's tree theorem in Lean.
Primary LanguageLean
This repository is not active