See https://github.com/hazelgrove/hazel/graphs/contributors for an up-to-date list of code contributors.
(helped develop theory, but no or minimal code contributions to Hazel)
- Ian Voysey
- Jonathan Aldrich
- Matthew Hammer
- Ravi Chugh
- Scott Guest
- Vincent Zeng
- Rainy Sinclair