- 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:- Axler's book Algebra Done Right
- Mukres's book Topology a first course
- Silverman's book A Friendly Introduction to Number Theory
- Silverman and Tate's book, Rational Points on Elliptic Curves
- Folland's book Advanced Calculus
- Rudin's book Principles of Mathematical Analysis
- Hungerford's book Abstract Algebra: An Introduction