GitHub repository: volodeyka/okasaki
Primary language: Coq
Created: 2020-02-26T19:21:33Z
Description: Coq library to deal with purely functional data structures