core-models
| Crates.io | core-models |
| lib.rs | core-models |
| version | 0.0.3 |
| created_at | 2025-06-23 13:43:10.967156+00 |
| updated_at | 2025-06-30 18:32:33.292395+00 |
| description | Models of the Rust core library |
| homepage | https://github.com/cryspen/libcrux |
| repository | https://github.com/cryspen/libcrux |
| max_upload_size | |
| id | 1722927 |
| size | 156,889 |
Franziskus Kiefer (franziskuskiefer)
documentation
README
core-models
This crate contains f-star models for the Rust core library for use with hax.