prusti-contracts-proc-macros (cargo): Internal `proc-macro` Prusti crate
Keywords: prusti|formal-verification|rust|verification|viper