Program-ing Finger Trees in Coq (2007) [pdf]

(sozeau.gitlabpages.inria.fr)

2 points | by todsacerdoti a day ago ago

No comments yet.