Lib.rs
›
Users
#
verification
#
api
tautschnig
Michael Tautschnig
Joined crates-io 4 months ago. Joined GitHub 13 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
model-checking
Shares crates with
NlightNFotis
,
TGWDB
,
esteffin
Co-owns 1 crate
libcprover_rust
Member since Jun 2024 (4 months)