package coq-plugin-utils
Utility functions for implementing Coq plugins, e.g. building natural
Install
Dune Dependency
Authors
Maintainers
Sources
v1.3.0.tar.gz
md5=11ed4235895162a8f56610a5ebe7a494
Description
numbers, interfacing with Ltac, etc.
Dev Dependencies
None
Used by (3)
-
coq-ltac-iter
< "1.1.0" - coq-mirror-core
- coq-smt-check
Conflicts
None
On This Page