search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.06k stars 58 forks source link

Clarify guide induction example #1191

Closed jaylorch closed 1 week ago