package coq-dep-map
Dependent Maps
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=7f375da9a2906709cf22200ea421341c
Description
A rudimentary library for dependent maps that contain their domain in the type.
Tags
keyword: maps keyword: dependent maps category: Computer Science/Data Types and Data StructuresPublished: 07 Dec 2019
On This Page