| Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives | |
| Short Name: fiat-crypto | |
| URL: https://github.com/mit-plv/fiat-crypto | |
| Version: git (see METADATA) | |
| License: MIT | |
| License File: LICENSE | |
| Security Critical: yes | |
| Shipped: yes | |
| Description: | |
| See README.md and METADATA. |