miden-prover is used at run time in 10 crates. It is a direct run-time dependency in 3 crates.

Number of dependers miden-prover version Downloads/month
1 0.11.0 0
8 0.10.5 2.0K
1 0.3.0 900
Depender (with downloads and own rev deps) miden-prover version
900 miden ^0.3
5 miden-tx ^0.10
miden-vm ^0.11