core-models
| Crates.io | core-models |
| lib.rs | core-models |
| version | 0.0.5 |
| created_at | 2025-06-23 13:43:10.967156+00 |
| updated_at | 2026-01-22 13:28:48.205038+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 | 158,447 |
Crates (github:cryspen:crates)
documentation
README
core-models
This crate contains f-star models for the Rust core library for use with hax.