package coq-extensible-records
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