package coq-plugin-utils
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Utility functions for implementing Coq plugins
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.0.tar.gz
md5=e42720d5e996c8a4dd326f8a582e5185
Description
Dev Dependencies
None
Used by (3)
-
coq-ltac-iter
< "1.1.0" - coq-mirror-core
- coq-smt-check
Conflicts
None
On This Page