Program-ing Finger Trees in Coq (2007) [pdf]sozeau.gitlabpages.inria.fr2 pointstodsacerdoti8 months ago