Recent Releases of kruskal-fan
kruskal-fan - Kruskal-Fan v1.2
Release for Coq 8.20 and Software Heritage archival
- Coq
Published by DmxLarchey over 1 year ago
kruskal-fan - Kruskal-Fan 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 almost 2 years ago
kruskal-fan - Kruskal-Fan v1.0
First release. See the README.md file.
- Coq
Published by DmxLarchey about 2 years ago