mv-prover is used at run time in 112 crates (of which 1 optionally). It is a direct run-time dependency in 6 crates. It's used only as a dev dependency in 15 crates (of which 3 directly).
| Depender (with downloads and own rev deps) | mv-prover version | |||
|---|---|---|---|---|
| spec-flatten | ^0.3.0 | |||
| 4 | mv-cli | ^0.3.0 | ||
| 42 | move-deps | ^0.3.1 | ||
| 14 | mv-stdlib | ^0.3.0 | ||
| prover-lab | ^0.3.0 | |||
| prover-mutation | ^0.3.0 | |||
| 110 | 4 | mv-docgen | dev | ^0.3.0 |
| 110 | 3 | mv-abigen | dev | ^0.3.0 |
| 4 | mv-errmapgen | dev | ^0.3.0 | |