94cd196a80
Chromium's licenses.py is a little finicky. Change-Id: I015a3565eb8f3cfecb357d142facc796a9c80888 Reviewed-on: https://boringssl-review.googlesource.com/24784 Reviewed-by: Adam Langley <agl@google.com>
11 lines
286 B
Plaintext
11 lines
286 B
Plaintext
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)
|
|
License: MIT
|
|
License File: LICENSE
|
|
Security Critical: yes
|
|
|
|
Description:
|
|
See README.md and METADATA.
|