• Harvard University

• Cambridge, MA

Popular repositories Loading

1. Config files for my GitHub profile.

5. Forked from tbrazel/math231br

   Spring 2026 notes for math231br: topology of algebraic manifolds

   TeX

6. Lean 4 formalization of the Kontsevich-Segal axioms

   Lean