# 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 # Individual's name # # 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 Andres Erbsen Daniel Ziegler David Benjamin Jade Philipoom Jason Gross Robert Sloan