package rocq-micromega-plugin
Micromega plugin for Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0.tar.gz
sha512=b6208cafbe071236920499e2be6c5f8c863f5427d4d6e24e4d5016ffe3dad3d4fdd68a7e0cb070bbffcba4c090cda629f1c660692aba11015c9d6e319e73d25e
Description
Plugin for (semi)decision procedures for arithmetic.
Tags
category:Miscellaneous/Rocq Extensions keyword:micromega logpath:micromega-pluginPublished: 16 Apr 2026
Dependencies (4)
- ppx_optcomp
-
rocq-core
>= "9.0" & < "9.3~" -
ocaml
>= "4.09.0" -
dune
>= "3.8"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page