1Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives 2Short Name: fiat-crypto 3URL: https://github.com/mit-plv/fiat-crypto 4Version: git (see METADATA) 5License: MIT 6License File: LICENSE 7Security Critical: yes 8 9Description: 10See README.md and METADATA. 11