30个版本
| 0.2.9 | 2024年5月12日 |
|---|---|
| 0.2.7 | 2024年3月20日 |
| 0.2.5 | 2023年11月16日 |
| 0.1.20 | 2023年4月1日 |
| 0.1.0 | 2020年2月4日 |
59 在 加密学 中
906,763 每月下载量
用于 2,368 个crate（16个直接使用）
3.5MB
78K SLoC
Fiat-crypto
本crate提供了从Coq fiat-crypto 库中提取的Rust代码。
许可证
本项目根据MIT许可证、Apache许可证（版本2.0）和BSD 1-Clause许可证进行分发；用户可以选择应用哪个许可证。
请参阅COPYRIGHT、LICENSE-MIT、LICENSE-APACHE和LICENSE-BSD-1以获取详细信息。