9 search results for "author:"Dominique Larchey-Wendling (https://github.com/DmxLarchey)""
Showing 1 - 9
-
coq-friedman-tree
No documentation
Implementation of Friedman's TREE function based on Kruskal's theorem1.1MPL-2.0Used by 0 other packages23 May 2024 -
coq-karp-miller
No documentation
Certified Karp-Miller algorithm for the covering of Petri nets1.1MPL-2.0Used by 0 other packages23 Nov 2024 -
coq-kruskal-almostfull
No documentation
Base Coq library for manipulating Almost Full relations1.2MPL-2.0Used by 5 other packages22 Nov 2024 -
coq-kruskal-fan
No documentation
Extending Coq library for manipulating Almost Full relations with the FAN theorem1.2MPL-2.0Used by 3 other packages23 Nov 2024 -
coq-kruskal-finite
No documentation
Coq library for manipulating finiteness, finite choice and decision as used in proof of Kruskal's tree theorem1.5MPL-2.0Used by 5 other packages22 Nov 2024 -
coq-kruskal-higman
No documentation
Extending Coq library for manipulating Almost Full relations with Higman's lemma1.3MPL-2.0Used by 2 other packages23 Nov 2024 -
coq-kruskal-theorems
No documentation
Extending the Coq library for manipulating Almost Full relations with various forms of Kruskal's tree theorem1.2MPL-2.0Used by 1 other packages24 Nov 2024 -
coq-kruskal-trees
No documentation
Coq library for manipulating rose trees (ie finitely branching) as used in proof of Kruskal's tree theorem1.5MPL-2.0Used by 7 other packages22 Nov 2024 -
coq-kruskal-veldman
No documentation
Wim Veldman's proof of Higman's and Kruskal tree theorems1.3MPL-2.0Used by 1 other packages24 Nov 2024