winter-prover is used at run time in 17 crates. It is a direct run-time dependency in 4 crates. It's used only as a dev dependency in 2 crates.

Number of dependers winter-prover version Downloads/month
17 0.8.3 4.6K
1 0.6.4 84
1 0.4.2 1.8K
Depender (with downloads and own rev deps) winter-prover version
6.8K 6 miden-air ^0.8
6.8K 3 miden-prover ^0.8
6.7K 9 miden-processor ^0.8
900 1 winterfell ^0.8