https://leanprover-community.github.io/blog/enContents © 2026 <a href="mailto:">The Lean prover community</a> Wed, 22 Jul 2026 22:28:12 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://leanprover-community.github.io/blog/posts/cmi-class-field-theory-workshop/Georgia Harbor-Collins and Mohit Hulse<div><p>This is a brief report on the <a href="https://www.claymath.org/events/formalizing-class-field-theory/">CMI HIMR Summer School on Formalizing Class Field Theory</a>, held at the Mathematical Institute, University of Oxford on 21–25 July, 2025.</p> <p><a href="https://leanprover-community.github.io/blog/posts/cmi-class-field-theory-workshop/">Read more…</a> (3 min remaining to read)</p></div>https://leanprover-community.github.io/blog/posts/cmi-class-field-theory-workshop/Fri, 22 Aug 2025 17:00:00 GMT