Recent Releases of kruskal-finite
kruskal-finite - Kruskal-Finite v1.5
Update infos for Software Heritage archival.
- Coq
Published by DmxLarchey over 1 year ago
kruskal-finite - Kruskal-Finite v1.4
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 almost 2 years ago
kruskal-finite - Kruskal-Finite v1.3
New finiteness results related to List.Forall2 for stdlib of Coq. Requires at least v1.3 of Kruskal-Trees.
- Coq
Published by DmxLarchey over 2 years ago
kruskal-finite - Kruskal-Finite v1.2
Changed the license to MPL-2.0 and somewhat restructed and cleanup the files a bit.
- Coq
Published by DmxLarchey over 2 years ago
kruskal-finite - Kruskal-Finite v1.1.1
We move the proof that there are finitely many trees of a bounded size in a specific example file and update the README.
- Coq
Published by DmxLarchey over 2 years ago
kruskal-finite - Kruskal-Finite v1.1
First release of the Kruskal-Finite helper library. Versioning information in sync with Kruskal-Trees.
- Coq
Published by DmxLarchey over 2 years ago