[docs] Update projects link

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Closed oToToT closed 6 days ago

oToToT commented 1 week ago

The link of publications-and-projects is updated in #1171 This commit update the link correspondingly

utaal commented 6 days ago

Thank you!