prusti-specs (cargo): Internal Prusti crate for parsing specifications
Keywords: prusti|formal-verification|rust|verification|viper