package coq-constructors
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