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 Description: See README.md and METADATA.