diff options
| author |  Robert Sloan <rsloan@sumologic.com> | 2015-09-10 16:29:16 -0400 |
|---|---|---|
| committer | Robert Sloan <rsloan@sumologic.com> | 2015-09-10 16:29:16 -0400 |
| commit | f4e1d24da03c54fde2df41aa4a3d8ed17940004e (patch) | |
| tree | 77f1f99522c57d1f6ba8066cb84974608327b28f /README.md | |
Initial commit
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 000000000..77d3aafba --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# fiat-crypto +Cryptographic Primitive Code Generation in Fiat |