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

Number of dependers miden-prover version Downloads/month
10 0.11.0 1.8K
1 0.3.0 83
Depender (with downloads and own rev deps) miden-prover version
1.6K 5 miden-tx ^0.11
130 miden-vm ^0.11
120 miden ^0.3