Zulip Chat Archive
Stream: maths
Topic: Class Field Theory in Oxford
Kevin Buzzard (Jan 20 2025 at 15:04):
This is a discussion thread for the Clay maths summer school on formalization of class field theory in Lean (here is the annoucement )
Last updated: May 02 2025 at 03:31 UTC