prusto-macros is used at run time in 3 crates (of which 1 optionally). It is a direct run-time dependency in 2 crates.

Depender (with downloads and own rev deps) prusto-macros version
600 1 prusto ^0.2
prusto-rs ^0.2