decy-book
| Crates.io | decy-book |
| lib.rs | decy-book |
| version | 2.0.0 |
| created_at | 2025-11-01 09:27:33.295359+00 |
| updated_at | 2026-01-08 21:36:26.015478+00 |
| description | Book-based verification for transpiled Rust code |
| homepage | https://github.com/paiml/decy |
| repository | https://github.com/paiml/decy |
| max_upload_size | |
| id | 1911840 |
| size | 65,191 |
Noah Gift (noahgift)
documentation
https://docs.rs/decy