search

verus-lang / verus

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

Moar docs for the minimizer + how to reporting issues #1187

Closed jaybosamiya-ms closed 1 week ago

jaybosamiya-ms commented 1 week ago

Related #1185