package coq-traversable-fincontainer
Traversable Functors are Finitary Containers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.7.0.tar.gz
md5=82cbb2ec21e431051b57502cea6a8df2
Description
https://github.com/oconnorr/traversable-fincontainer
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: 11 Jan 2019
On This Page