| Name | Description | Size | Coverage |
|---|---|---|---|
| .cargo-checksum.json | 664 | - | |
| .cargo_vcs_info.json | 100 | - | |
| Cargo.lock | 1103 | - | |
| Cargo.toml | 1016 | - | |
| Cargo.toml.orig | 453 | - | |
| CHANGELOG.md | 380 | - | |
| Readme.md | # libcrux - the formally verified crypto library | 5806 | - |
| src | - |
| Name | Description | Size | Coverage |
|---|---|---|---|
| .cargo-checksum.json | 664 | - | |
| .cargo_vcs_info.json | 100 | - | |
| Cargo.lock | 1103 | - | |
| Cargo.toml | 1016 | - | |
| Cargo.toml.orig | 453 | - | |
| CHANGELOG.md | 380 | - | |
| Readme.md | # libcrux - the formally verified crypto library | 5806 | - |
| src | - |