rocq-micromega-plugin
1.1.1Micromega decision procedures plugin for the Rocq prover
Install
brew install rocq-micromega-pluginDetails
Sources
Supported platforms
| Architecture | Platforms | Version | Download |
|---|---|---|---|
| Apple Silicon | Golden Gate | 1.1.1 | FileSHA-256d6ada3d5c0ca2dd30bfb3d3bd4e170e1421309b902eeaed96cf6962375b22bfb |
| Apple Silicon | Tahoe | 1.1.1 | FileSHA-256e3b7e603ec115bdb0fc407fb742b0e3bd865e2a7a3f15ad9cae5d19092e5c615 |
| Apple Silicon | Sequoia | 1.1.1 | FileSHA-2561a67d62f01d5a865bd879f9683fc33674b58fe0c846204b68db99faea7360e89 |
| ARM64 | Linux | 1.1.1 | FileSHA-256cc49aa8e5ab6f3f8a72761cbfa43cf78067b536e15f7766698c0feeede2d748c |
| x86_64 | Linux | 1.1.1 | FileSHA-2568bba083d3e93bbc504d526208477edac76a0dc9dd7799157412e3b927093fc2f |
Dependencies
- ocaml-findlib
- rocq