GitHub repository: DmxLarchey/Friedman-TREE
Primary language: Coq
Description: Construction of Friedman's tree(n) and TREE(n) in Coq