GitHub repository: DmxLarchey/Kruskal-Trees
Primary language: Coq
Description: Coq library for rose trees