This crate provides the extracted Rust code from the Coq fiat-crypto libraries.
This project is licensed under the terms of the MIT license.