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 |
#2 in #generated
2,535,005 downloads per month
Used in 3,801 crates
(18 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.