Pocket-Prover is used at run time in 1 crate. It's used only as a dev dependency in 1 crate.

Depender (with downloads and own rev deps) Pocket-Prover version
pocket_prover-set ^0.17.0
1 pocket_prover-derive dev ^0.17.0