search

verus-lang / verus

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

rename projects page, add link to README #1171

Closed utaal closed 2 weeks ago