Fall 2022 Undergraduate Research Projects run through WXML
- Faculty mentor: Jarod Alper
- Graduate student mentors: Vasily Ilin, Leopold Mayer
- Student participants: Zachary Banken, Griffin Golias, Raymond Guo, Eva Hu, Hastin Kapoor, Luca
Li,
Lawrence Lin, Alex Sanchez
- Github repositories:
Project
Formalizing solutions to exercises from undergraduate math textbooks such as: