| Crates.io | fiat-crypto |
| lib.rs | fiat-crypto |
| version | 0.3.0 |
| created_at | 2020-02-04 04:31:50.717927+00 |
| updated_at | 2025-06-04 02:42:06.808859+00 |
| description | Fiat-crypto generated Rust |
| homepage | https://github.com/mit-plv/fiat-crypto |
| repository | https://github.com/mit-plv/fiat-crypto |
| max_upload_size | |
| id | 204701 |
| size | 4,687,820 |
This crate provides the extracted Rust code from the Coq fiat-crypto libraries.
This project is distributed under the terms of the MIT License, the Apache License (Version 2.0), and the BSD 1-Clause License; users may pick which license to apply.
See COPYRIGHT, LICENSE-MIT, LICENSE-APACHE, and LICENSE-BSD-1 for details.