a014438f85 | ||
---|---|---|
coq | ||
.gitignore | ||
LICENSE | ||
README.md |
README.md
baltree-coq
Proof of a tree balancing algorithm in Coq
a014438f85 | ||
---|---|---|
coq | ||
.gitignore | ||
LICENSE | ||
README.md |
Proof of a tree balancing algorithm in Coq