package coq-ollibs
OL libraries
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.7.tar.gz
sha256=756abd893154fe79d0bed3aac9a78ab10ff06d4fe427ed89c0d31ff35368ea51
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-16 logpath:OLlibsPublished: 17 Sep 2024
On This Page