mastodon — José A. Alonso — 6 Sep 2026
The global Kronecker–Weber theorem in Lean 4. ~ Naganori Yamaguchi. https:// github.com/n-yamaguchi-0729/Kr oneckerWeber…
#number-theory #proof-assistants #formalization
The global Kronecker–Weber theorem in Lean 4. ~ Naganori Yamaguchi. https:// github.com/n-yamaguchi-0729/Kr oneckerWeber # LeanProver # ITP # AI4Math