Page Index - verus-lang/verus GitHub Wiki 9 page(s) in this GitHub Wiki: Home Design and project goals: Goals Doc Status Doc: Deprecated and recommended syntax, and upcoming changes Goals Notes on Rust ghost types Status: currently supported Rust features Verus Retreat 2023