Posts about meeting report RSS feed 2025-08-22 17:00Formalizing Class Field Theory 2025-08-03 17:00Simons Foundation Lean Workshop 2024-11-25 17:00Durham Computational Algebraic Geometry Workshop 2023-08-26 16:30My Experience at the Machine-Checked Mathematics workshop 2023-06-12 07:42Formalising cohomology theories