winter-prover is used at run time in 18 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
1 0.9.0 600
17 0.8.3 3.8K
1 0.6.4 9
1 0.4.2 1.9K
Depender (with downloads and own rev deps) winter-prover version
5.4K 6 miden-air ^0.8
5.4K 9 miden-processor ^0.8
5.3K 3 miden-prover ^0.8
480 1 winterfell ^0.9