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