Zulip Chat Archive
Stream: Lean Together 2026
Topic: Michal Mrugala - Formalizing Class Field Theory
Rémy Degenne (Jan 23 2026 at 14:03):
Discussion topic for the talk.
Michał Mrugała (Jan 23 2026 at 14:37):
Slides:
LeanTogether2026.pdf
Last updated: Feb 28 2026 at 14:05 UTC