core-models 0.0.5-pre.1

Models of the Rust core library

Coverage
62.83%
169 out of 269 items documented3 out of 228 items with examples
Size
Source code size: 158 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 11.53 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 28s Average build duration of successful builds.
all releases: 27s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
cryspen/libcrux
232 48 76
crates.io
Dependencies
Versions
Owners

core-models

This crate contains f-star models for the Rust core library for use with hax.