16 Sept. 2024, 15:15-16:15
Speaker: Jiedong Jiang, Title: Intro to Formalizing Valuation Theory in Lean
