Recent Releases of kruskal-higman
kruskal-higman - Kruskal-Higman v1.3
For Coq 8.20 and Software Heritage archival
- Coq
Published by DmxLarchey over 1 year ago
kruskal-higman - Kruskal-Higman v1.2
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-higman - Kruskal Higman v1.1
The Fan theorem has been moved to Kruskal-Fan.
- Coq
Published by DmxLarchey almost 2 years ago