Recent Releases of kruskal-veldman
kruskal-veldman - Kruskal-Veldman 1.3
For Coq 8.20 and Software Heritage archival. Some notations priorities have been modified.
- Coq
Published by DmxLarchey over 1 year ago
kruskal-veldman - Kruskal-Veldman 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-veldman - Kruskal Veldman v1.1
The Fan theorem has moved from Kruskal-Higman to Kruskal-Fan.
- Coq
Published by DmxLarchey almost 2 years ago
kruskal-veldman - Kruskal-Veldman v1.0
First release of the Kruskal-Veldman Coq library
- Coq
Published by DmxLarchey almost 2 years ago