verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.25k stars 72 forks source link

Update README.md to create a list of examples of using Verus #1352

Open parno opened 1 week ago

parno commented 1 week ago

A number of people have been interested in examples of using Verus, but they haven't found the projects link that we already have, and only a few manage to find the folders of examples and tests, so I think it would help to have them presented more explicitly.