winter-prover is used at run time in 35 crates (of which 1 optionally). 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
30 0.12.2 3.6K
5 0.11.0 29
1 0.10.3 1
1 0.6.4 210
Depender (with downloads and own rev deps) winter-prover version
4.9K 11 miden-processor ^0.12
4.9K 5 miden-air ^0.12
4.7K 2 miden-prover ^0.12
1.2K 3 winterfell ^0.12