GitHub repository: oishikg/formal_verification_avl_trees
Primary language: Coq
Description: Verifying Correctness of an OCaml based implementation of AVL Trees