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
1.2.0.tar.gz
md5=3794e13edcfde118d1cc61bc0858ac6d
On This Page