package coq-traversable-fincontainer
Traversable Functors are Finitary Containers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=14b214f3e3b149adedea43fa31811e42
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: 20 Nov 2018
On This Page