swiftness_proof_parser is used at run time in 1 crate.

Depender (with downloads and own rev deps) swiftness_proof_parser version
550 swiftness ^0.1.2