Lib.rs
›
Users
#
solver
#
verification
selenesal
Selene Salter
Joined crates-io 8 years ago. Joined GitHub 9 years ago.
GitHub
crates.io
Maintainer dashboard
selenesal created 2 crates
rustproof
Sole owner since Aug 2016. Last updated 8 years ago.
rustproof-libsmt
Sole owner since Aug 2016. Last updated 8 years ago.