GitHub repository: DmxLarchey/Kruskal-Higman
Primary language: Coq
Created: 2024-02-17T11:22:18Z
Description: Detailed proof of Higman's lemma for unary trees and lists