Program-ing Finger Trees in Coq (2007) [pdf] sozeau.gitlabpages.inria.fr 2 points by todsacerdoti a day ago