Perry Hart

Here you'll find a variety of expository math notes.

View My GitHub Profile

If you spot any mistakes, feel free to let me know.

Algebra

Geometry

Logic & CS

Algebraic topology

K-Theory

Homotopy type theory