fav-ssr
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
42 stars
8 watching
7 forks
Language: Coq
last commit: 15 days ago
Linked from 1 awesome list
2-3-treeavl-treebinomial-heapcoqhuffman-codingleftist-heapmathcompquadtreeredblack-treessreflect