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
prover-lab ^0.3.0
prover-mutation ^0.3.0
spec-flatten ^0.3.0
4 mv-cli ^0.3.0
42 move-deps ^0.3.1
14 mv-stdlib ^0.3.0
4 mv-docgen dev ^0.3.0
3 mv-abigen dev ^0.3.0
4 mv-errmapgen dev ^0.3.0