Sign in
boringssl
/
boringssl
/
refs/heads/chromium-3282
/
.
/
third_party
/
fiat
/
README.md
blob: 55127152410cb1961abdc17843487f36ec5f25c3 [
file
] [
log
] [
blame
] [
view
] [
edit
]
# 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
.)