fiat-crypto
| Crates.io | fiat-crypto |
| lib.rs | fiat-crypto |
| version | 0.2.9 |
| source | src |
| created_at | 2020-02-04 04:31:50.717927 |
| updated_at | 2024-05-12 22:29:28.840311 |
| description | Fiat-crypto generated Rust |
| homepage | https://github.com/mit-plv/fiat-crypto |
| repository | https://github.com/mit-plv/fiat-crypto |
| max_upload_size | |
| id | 204701 |
| size | 3,705,202 |
Jason Gross (JasonGross)
documentation
README
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.