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.1.0-8.5.tar.gz
md5=9a4d59877f6eee9b4a8d0342b075d8b6
Description
Dev Dependencies
None
Used by (3)
-
coq-ltac-iter
< "1.1.0" - coq-mirror-core
- coq-smt-check
Conflicts
None
On This Page