6 releases
| 0.2.3 | Jun 17, 2020 |
|---|---|
| 0.2.2 | Jun 13, 2020 |
| 0.1.1 | Jun 8, 2020 |
#29 in #dependent
41 downloads per month
Used in 2 crates
(via verified)
54KB
1.5K
SLoC
Verifiable Rust
Source code for the verified crate
Dependencies
~1.5MB
~37K SLoC