Proof of a tree balancing algorithm in Coq
Go to file
Frédéric Bour a014438f85 Add Makefile and TODO 2021-03-21 15:06:31 +01:00
coq Add Makefile and TODO 2021-03-21 15:06:31 +01:00
.gitignore Initial commit 2021-03-21 14:57:50 +01:00
LICENSE Initial commit 2021-03-21 14:57:50 +01:00
README.md Initial commit 2021-03-21 14:57:50 +01:00

README.md

baltree-coq

Proof of a tree balancing algorithm in Coq