Recent Releases of kruskal-almostfull
kruskal-almostfull - Kruskal-AlmostFull v1.2
Update for Software Heritage archival
- Coq
Published by DmxLarchey over 1 year ago
kruskal-almostfull - Kruskal-AlmostFull v1.1
Split the clean target into clean and mrproper because of issues with opam install on MacOS: the default find command is not the GNU one (thx to @joom). See issue https://github.com/DmxLarchey/Kruskal-AlmostFull/issues/4.
- Coq
Published by DmxLarchey over 1 year ago
kruskal-almostfull - Kruskal-AlmostFull v1.1
Split the clean target into clean and mrproper because of issues with opam install on MacOS: the default find command is not the GNU one (thx to @joom).
- Coq
Published by DmxLarchey over 1 year ago
kruskal-almostfull - Kruskal-AlmostFull 1.0
First release of the library. See README.md for details.
- Coq
Published by DmxLarchey about 2 years ago