Recent Releases of friedman-tree
friedman-tree - Friedman-TREES v1.2
For Coq 8.20 and Software Heritage archival
- Coq
Published by DmxLarchey over 1 year ago
friedman-tree - Friedman TREE v1.1
The af_konig used for termination is now abstracted and moved to Kruskal-Fan.
- Coq
Published by DmxLarchey almost 2 years ago
friedman-tree - Friedman TREE v1.0
The constructive implementation of Harvey Friedman's TREE(n) function in Coq, based on the proof of Kruskal's tree theorem.
- Coq
Published by DmxLarchey almost 2 years ago