package rocq-mltac2
Ltac2 APIs in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
sha512=091306756c50ae95d1e1dcb44634953b4787650c8f5bfe5628fa0c82a926a0e1839c305709d23b323508ea8a09979a2d92a603cb921f881aa8f55d8bbd5fb2cd
Description
Published: 20 Oct 2026
Dependencies (4)
- ppx_optcomp
-
dune
>= "3.17" & < "3.24" -
coq-core
>= "9.0" -
ocaml
>= "4.14"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page