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. |