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

Number of dependers miden-prover version Downloads/month
16 0.12.0 4.0K
1 0.11.0 330
1 0.3.0 120
Depender (with downloads and own rev deps) miden-prover version
2.8K 12 miden-tx ^0.12
470 miden-vm ^0.12
180 miden ^0.3