package coq-constructors
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
An example Coq plugin, defining a tactic to get the constructors of an inductive type in a list
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
md5=6a2b355fa0b43233f281c3ef9ba1499d
On This Page