AUTHORS

# This is the list of Formal Conjectures' significant contributors.
#
# This does not necessarily list everyone who has contributed code,
# especially since many employees of one corporation may be contributing.
# To see the full list of contributors, see the revision history in
# source control.
Google LLC

# Please keep the list sorted alphabetically
Bhavik Mehta
Calle Sönne
Eric Wieser
James Jordan
Junyan Xu
Moritz Firsching
Mirek Olšák
Paul Lezeau
Salvatore Mercuri
Seewoo Lee
The bbchallenge Collaboration (bbchallenge.org)
Thomas Hubert
Zeyu Zheng