| Crates.io | decy-verify |
| lib.rs | decy-verify |
| version | 2.0.0 |
| created_at | 2025-10-21 21:07:26.613839+00 |
| updated_at | 2026-01-08 21:34:06.450213+00 |
| description | Safety property verification for transpiled Rust code |
| homepage | https://github.com/paiml/decy |
| repository | https://github.com/paiml/decy |
| max_upload_size | |
| id | 1894458 |
| size | 55,679 |