package coq-traversable-fincontainer
Traversable Functors are Finitary Containers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.8.0.tar.gz
md5=b5ceb3f3705e9e9c94c3c414691733c7
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: 06 Feb 2019
On This Page