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 |
#36 in Cryptography
1,092,137 downloads per month
Used in 2,933 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.