prusti-std (cargo): External specifications for items in std for Prusti
Keywords: verification|specifications|contracts|prusti|formal|formal-verification|rust|viper