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
v0.5.0.tar.gz
md5=43211697cd961dafb8b8e5e1e7a94253
On This Page