diff options
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 000000000..31d71c211 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,16 @@ +# This is the official list of fiat-crypto authors for copyright purposes. +# This file is distinct from the CONTRIBUTORS files. +# See the latter for an explanation. + +# Names should be added to this file as one of +# Organization's name +# Individual's name <submission email address> +# Individual's name <submission email address> <email2> <emailN> +# See CONTRIBUTORS for the meaning of multiple email addresses. + +# Please keep the list sorted. + +Andres Erbsen <andreser@mit.edu> +Google Inc. +Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> +Massachusetts Institute of Technology |