Fiat-crypto生成的Rust
由 Jason Gross 和 46位贡献者 创建
59 在 加密学 中
906,763 每月下载量用于 2,368 个crate（16个直接使用）
3.5MB 78K SLoC
本crate提供了从Coq fiat-crypto 库中提取的Rust代码。
本项目根据MIT许可证、Apache许可证（版本2.0）和BSD 1-Clause许可证进行分发；用户可以选择应用哪个许可证。
请参阅COPYRIGHT、LICENSE-MIT、LICENSE-APACHE和LICENSE-BSD-1以获取详细信息。
COPYRIGHT
LICENSE-MIT
LICENSE-APACHE
LICENSE-BSD-1