/verified_finger_trees

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

Primary LanguageCoq

Stargazers

No one’s star this repository yet.