Project presentations

We had people present 2 completed projects.

1. Ming Lim presented work on formalizing properties of Coxeter groups in Lean.
2. Patrick Lutz presented work on formalizing the Stone Representation Theorem.

More details are in the lean_lec_mar9.lean file.

---

Date published: Friday, March 6, 2026