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

 (sozeau.gitlabpages.inria.fr)

2 points | by todsacerdoti a day ago ago

No comments yet.