mv-prover-boogie-backend
| Crates.io | mv-prover-boogie-backend |
| lib.rs | mv-prover-boogie-backend |
| version | 0.3.2 |
| source | src |
| created_at | 2022-05-23 04:49:10.216528 |
| updated_at | 2022-08-23 18:57:35.68915 |
| description | Move prover Boogie backend |
| homepage | |
| repository | |
| max_upload_size | |
| id | 591592 |
| size | 292,233 |
(aptos-crates)