Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
127
stars
166
forks
source link
update Kruskal-[Trees,Finite]-1.5 Kruskal-AlmostFull-1.2 for SWHID archival #3210
Closed
DmxLarchey closed 2 days ago
ci-skip: coq-kruskal-trees.1.5 coq-kruskal-finite.1.5