Lib.rs
›
Users
#
verus
#
verification
#
verified-rust
Chris-Hawblitzel
Chris Hawblitzel (Microsoft)
Joined crates-io 5 months ago. Joined GitHub 10 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
project-everest
Shares crates with
parno
,
utaal
,
jaybosamiya
Co-owns 6 crates
vstd
3.0
K
Member since Aug 2025 (5 months)
verus_syn
3.9
K
Member since Aug 2025 (5 months)
verus_builtin
3.5
K
Member since Aug 2025 (5 months)
verus_prettyplease
3.5
K
Member since Aug 2025 (5 months)
verus_state_machines_macros
3.2
K
Member since Aug 2025 (5 months)
verus_builtin_macros
3.5
K
Member since Aug 2025 (5 months)