package coq-ollibs
OL libraries
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.6.tar.gz
sha256=87fe8219581cf13ab0670fb012327b60495e04b5935b8b864d67db898dfa8cfc
Description
Add-ons for the Coq standard library
Tags
keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Mathematics/Combinatorics and Graph Theory date:2024-09-15 logpath:OLlibsPublished: 17 Sep 2024
On This Page