blob: fdf28a4e0396bfd7beb608c2e1d1720d9b909152 [file] [log] [blame]
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)
Revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f
License: MIT
License File: LICENSE
Security Critical: yes
Shipped: yes
Description:
See README.md and METADATA.