• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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