creusot-std
| Crates.io | creusot-std |
| lib.rs | creusot-std |
| version | 0.9.0 |
| created_at | 2026-01-10 08:19:16.809241+00 |
| updated_at | 2026-01-10 08:19:16.809241+00 |
| description | Standard library of Creusot: provides specification macros, contracts for Rust standard library and logic helpers |
| homepage | https://github.com/creusot-rs/creusot |
| repository | |
| max_upload_size | |
| id | 2033819 |
| size | 502,078 |
Xia Li-yao (Lysxia)