| # This is the official list of people have contributed code to the |
| # fiat-crypto repository. |
| # |
| # The AUTHORS file lists the copyright holders; this file |
| # lists people. For example, Google employees are listed here |
| # but not in AUTHORS, because Google holds the copyright. |
| # |
| # When adding J Random Contributor's name to this file, |
| # either J's name or J's organization's name should be |
| # added to the AUTHORS file, depending on who holds the copyright. |
| # |
| # Names should be added to this file like so: |
| # Individual's name <submission email address> |
| # Individual's name <submission email address> <email2> <emailN> |
| # |
| # An entry with multiple email addresses specifies that the |
| # first address should be used in the submit logs and |
| # that the other addresses should be recognized as the |
| # same person. |
| |
| # Please keep the list sorted. |
| |
| Adam Chlipala <adamc@csail.mit.edu> <adam@chlipala.net> |
| Andres Erbsen <andreser@mit.edu> |
| Daniel Ziegler <dmz@mit.edu> |
| David Benjamin <davidben@google.com> |
| Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> |
| Jason Gross <jgross@mit.edu> <jagro@google.com> <jasongross9@gmail.com> |
| Robert Sloan <rsloan@mit.edu> <varomodt@gmail.com> <rsloan@sumologic.com> |
