GitHub repository: kbuzzard/ClassFieldTheory
Primary language: Lean
Description: Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory