package coq-traversable-fincontainer
Traversable Functors are Finitary Containers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=2d2b3b18f46d2d11651ba6022fefb71b
Description
A Coq proof that all Traversable functors are isomorphic to finitary containers.
Tags
keyword: finitary container keyword: traversable functors category: Computer Science/Data Types and Data StructuresPublished: 07 Dec 2019
On This Page