GitHub repository: DmxLarchey/Karp-Miller
Primary language: Coq
Description: A Coq mechanization of the Karp-Miller algorithm based on Kruskal-AlmostFull