LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

ClassFieldTheory

Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

11mo ago

Recent commits

Latest commits.

Project 20 skeleton: basic definition of non-arch local field (#21)
b7abdeaKenny Lau11mo ago
Merge branch 'main' of github.com:kbuzzard/ClassFieldTheory
71acb4dKevin Buzzard11mo ago
add basic corestriction file
352e865Kevin Buzzard11mo ago
Project 6: Galois extension isomorphic to ind1 (#27)
0ab9198Justus Springer11mo ago
blueprint rename decls (#28)
46161b4mm242011mo ago

chore(ClassFieldTheory/GroupCohomology/_4_TateCohomology_def): Finish Project 0 (#18)

86b9ae2Whysoserioushah11mo ago

feat: versions of ind₁/coind₁ defined as finsupp/pi (#25)

09e8244Arend Mellendijk11mo ago

chore: bump mathlib

d85557dKevin Buzzard11mo ago

Top contributors

Builders behind this project.