Aaron Yeiser, Michael Tang, Agustin Garcia, Julian Wellman

Multi-person mathematical proof writing