Fall 2022 Undergraduate Research Projects run through WXML

Project

Formalizing solutions to exercises from undergraduate math textbooks such as: