30 releases
| 0.2.9 | May 12, 2024 |
|---|---|
| 0.2.7 | Mar 20, 2024 |
| 0.2.5 | Nov 16, 2023 |
| 0.1.20 | Apr 1, 2023 |
| 0.1.0 | Feb 4, 2020 |
#31 in Cryptography
2,050,881 downloads per month
Used in 2,867 crates
(17 directly)
3.5MB
78K
SLoC
Fiat-crypto
This crate provides the extracted Rust code from the Coq fiat-crypto libraries.
License
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.