Lib.rs
›
Users
#
verification
#
verifier
celinval
Celina G. Val
Joined crates-io 2 years ago. Joined GitHub 6 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
zhassan-aws
,
rahulku
,
remi-delmas-3000
,
jaisnan
,
karkhaz
,
tedinski
,
danielsn
,
feliperodri
,
adpaco-aws
,
qinheping
,
tautschnig
celinval created 1 crate
kani-verifier
4.2
K
Founded in Jan 2022. Updated a day ago.
Co-owns 1 crate
kani
Member since Feb 2022 (2 years)