pearlite (cargo): Reserved for Creusot's pearlite language crate
Keywords: deductive-reasoning|formal-methods|formal-verification|proof|rust|rust-lang|verification|why3