Student talks: interactive theorem proving, and quantum mechanics

We'll actually have three talks this afternoon:

  • 2:30-3:15: Fabian Circelli, on the mathematical foundations of quantum mechanics
  • 3:15-4:00: Jack Crawford will tell us about his implementation of Gaussian elimination in Lean, and 
  • 4:00-4:45: Keeley Hoek will tell us about searching the graph whose vertices are mathematical expressions, and whose edges are rewrites of subexpressions by a given set of lemmas.