package rocq-micromega-plugin
Micromega plugin for Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.0.tar.gz
sha512=a3126cf65eb42d8a6bd5976caa7e89091d7a76a8b02850e2241b2ad08b8a1da63693a074e51857411c449677fb9a1a970ea43eca75a711a8dba62c514a9fc4c7
Description
Plugin for (semi)decision procedures for arithmetic.
Tags
category:Miscellaneous/Rocq Extensions keyword:micromega logpath:micromega-pluginPublished: 29 May 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