Lib.rs
›
Users
#
verus
#
verified-rust
parno
Bryan Parno
Joined crates-io 8 months ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (andrew.cmu.edu)
Maintainer dashboard
Member of GitHub orgs
project-everest
Shares crates with
jaybosamiya
,
utaal
Co-owns 3 crates
verusfmt
Member since Feb 2024 (8 months)
verus
Member since Jun 2024 (3 months)
vstd
Member since Jun 2024 (3 months)