Development
rocq-micromega-plugin
Micromega decision procedures plugin for the Rocq prover
Dedicated URL：https://rocq-micromega-plugin.wallong.cn
Official site：https://github.com/rocq-community/micromega-plugin
6.7K
downloads
53.6K
views
Windows
Platform
2026-10-24
Updated
Download links
No download link has been collected yet — get the official installer from the vendor site.
Description
Micromega decision procedures plugin for the Rocq prover