Maxwell Thum

Thesis Advisor: Dr. Weiqing Gu (Harvey Mudd College - Department of Mathematics)

Second Reader: Dr. Heather Zinn-Brooks (Harvey Mudd College - Department of Mathematics)

Contact: mthum@hmc.edu

Formalizing Discrete Exterior Calculus in Lean