Sign in
boringssl
/
boringssl.git
/
bd911af514a4b9831d2ef7d85c2cf082d53fb3ee
/
.
/
third_party
/
fiat
/
README.md
blob: 55127152410cb1961abdc17843487f36ec5f25c3 [
file
] [
view
]
# Fiat
Some
of the code
in
this
directory
is
generated
by
[
Fiat
](
https
:
//github.com/mit-plv/fiat-crypto) and thus these files are
licensed under the MIT license
.
(
See
LICENSE file
.)
