GitHub repository: DmxLarchey/Kruskal-AlmostFull
Primary language: Coq
Created: 2024-02-12T09:53:51Z
Description: Library of basic results about Almost Full relations in Coq