A standalone Lean 4 library for local and global class field theory, ramification theory, Hasse-Arf, and Kronecker-Weber.
Lean Updated about 1 month ago 1 commits 1 stars
vortex-ai|Mirror: n-yamaguchi-0729/ClassFieldTheory (⭐1)
about 1 month agoAbout
A standalone Lean 4 library for local and global class field theory, ramification theory, Hasse-Arf, and Kronecker-Weber.
Readme
1 stars
1 forks