diff options
author | Andres Erbsen <andreser@mit.edu> | 2019-01-10 10:48:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-10 10:48:05 -0500 |
commit | 56db9b4f1ee598083da0caf52b326cdb7a7e5758 (patch) | |
tree | e453391f25ce896d0b751976b0aea32069faf10b /README.md | |
parent | 3ca227f1137e6a3b65bc33f5689e1c230d591595 (diff) |
fix typo in README.md
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -naFiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives +Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives ===== Building |