package coq-mirror-core
A framework for computational reflection
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.2.tar.gz
md5=1576ec14f05ed73c2d15aa9b83bf22a1
Description
Published: 17 Jul 2016
Dependencies (4)
- coq-plugin-utils
-
coq-ext-lib
>= "0.9.2" -
coq
>= "8.5.2" & < "8.6~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page