GitHub repository: DmxLarchey/Kruskal-Theorems
Primary language: Coq
Created: 2024-03-15T11:13:17Z
Description: Kruskal and Higman type tree theorems for the Kruskal-AlmostFull library