search

verus-lang / verus

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

Fill in more spec expressions docs #1186

Closed jaylorch closed 1 week ago