legacy-libs/grpc/deps/grpc/third_party/boringssl/third_party/fiat/README.chromium

   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.