package coq-extensible-records
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Definitional (canonical) extensible records in Coq with string keys and arbitrary (non-dependent) types
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.0.tar.gz
md5=d2811c4ab38cbd7fa6785bd7d286b9d3
On This Page