winter-prover is used at run time in 36 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
24 0.12.2 2.1K
5 0.11.0 3.5K
1 0.10.3 15
6 0.9.0 220
1 0.6.4 370
1 0.4.2 2.2K
Depender (with downloads and own rev deps) winter-prover version
5.8K 3 miden-prover ^0.12
5.7K 6 miden-air ^0.12
5.7K 12 miden-processor ^0.12
800 3 winterfell ^0.12