winter-prover is used at run time in 72 crates (of which 3 optionally). It is a direct run-time dependency in 5 crates. It's used only as a dev dependency in 2 crates (of which 1 directly).

Number of dependers winter-prover version Downloads/month
59 0.13.1 19K
7 0.12.3 1.0K
5 0.11.0 190
1 0.10.3 250
2 0.6.4 130
Depender (with downloads and own rev deps) winter-prover version
11K 8 miden-air ^0.13
10K 13 miden-processor ^0.13
8.9K 3 miden-prover ^0.13
8.9K 4 winterfell ^0.13
1 miden-test-utils ^0.12
200 air-script dev ^0.12