GitHub repository: DmxLarchey/Kruskal-Veldman
Primary language: Coq
Created: 2024-03-11T22:13:12Z
Description: An adaptation of Wim Veldman's proof of the tree theorem to Coq