1 2 3 4 5 6 7 8
## Fiat-crypto This crate provides the extracted Rust code from the Coq [fiat-crypto](https://github.com/mit-plv/fiat-crypto) libraries. ## License This project is licensed under the terms of the [MIT license](LICENSE).