26 releases
0.2.5 | Nov 16, 2023 |
---|---|
0.2.2 | Oct 27, 2023 |
0.1.20 | Apr 1, 2023 |
0.1.19 | Mar 8, 2023 |
0.1.0 | Feb 4, 2020 |
#93 in Cryptography
524,353 downloads per month
Used in 1,206 crates
(13 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.