Lib.rs
›
Users
#
verification
#
verifier
zhassan-aws
Zyad Hassan
Joined crates-io 2 years ago. Joined GitHub 2 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
rahulku
,
danielsn
,
celinval
,
remi-delmas-3000
,
feliperodri
,
jaisnan
,
qinheping
,
adpaco-aws
,
tedinski
,
karkhaz
,
tautschnig
Co-owns 2 crates
kani-verifier
3.1
K
Member since Apr 2022 (2 years)
kani
Member since Apr 2022 (2 years)