winter-prover is used at run time in 29 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.12.0 130
21 0.11.0 3.6K
1 0.10.3 1.6K
6 0.9.0 130
1 0.6.4 6
1 0.4.2 260
Depender (with downloads and own rev deps) winter-prover version
4.8K 3 miden-prover ^0.11
4.7K 6 miden-air ^0.11
4.6K 11 miden-processor ^0.11
400 1 winterfell ^0.12