Thomas Browning

  1. Title:
    Algebraic Structures (Chapter 6 of MIL)

    Speaker:

    Link:

  2. Title:
    Formalizing Galois Theory

    Speaker:

    Link:

  3. Title:
    Polynomials and Algebraic Number Theory

    Speaker:

    Link: