package rocq-micromega-plugin

You can search for identifiers within the package.

in-package search v0.2.0

Micromega plugin for Rocq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

F

Frederic Besson

Maintainers

P

Pierre Roux

Sources

sha512=6af7ee5e2a8ea69f14dd7d4c8cd759d9f731fd2b9ecc02ed236e27e962a0b33be7f87a42b03b798df3354f3de8cf5a6af4240626d17adf50e6af65c10b744ab1

Description

Plugin for (semi)decision procedures for arithmetic.

Tags

category:Miscellaneous/Rocq Extensions keyword:micromega logpath:micromega-plugin

Published: 24 Jul 2026

Dependencies (4)

ppx_optcomp
rocq-core >= "9.0" & < "9.4~"
ocaml >= "4.09.0"
dune >= "3.8"

Dev Dependencies

None

Used by (1)

rocq-mathcomp-algebra >= "2.6.0"

Conflicts

None

On This Page

Description
Dependencies (4)
Dev Dependencies
Used by (1)
Conflicts