/verified_finger_trees

Project in Programming Language Seminar. Implement and prove properties about finger trees.

Primary LanguageCoq

No issues in this repository yet.