|
rocq-micromega-plugin
☆
« Back to VersTracker
|
||||||||||||||||||||
|
Description: Micromega decision procedures plugin for the Rocq prover |
||||||||||||||||||||
| Type: Formula | Tracked Since: Jul 12, 2026 | ||||||||||||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||||||||||||
| Install: brew install rocq-micromega-plugin | ||||||||||||||||||||
| Version History | ||||||||||||||||||||
|