at Carnegie Mellon University
2017 Summer
Philosophy and Mathematics: instructor
2016 Fall
2015 Spring
2014 Fall
Models and Methods of Optimization: teaching assistant
2014 Summer
Nature of Mathematical Reasoning: instructor
2014 Spring
2013 Fall
Formal Logic: Grader and guest lecturer
at St. Agnes Academy
Geometry, Precalculus, AP Calculus AB: instructor
Geometry, AP Calculus AB: instructor

I am helping develop an open-source course and text on mathematical proof and argument. The course uses examples in the Lean theorem-proving system. We have designed the course to encourage students to think about mathematics from three perspectives: the formal (logic and natural deduction), the informal (natural-language concepts and proofs), and the semi-formal (exemplified by Lean).

The most recent version of the text can be found here (interactive) or here (pdf), and the development is tracked on GitHub.

In Fall 2016, Jeremy Avigad and I co-taught a sophomore-level course at CMU using these notes.

design by reka j. bence