Lean 4 formalization of Langlands's First Main Lemma for local epsilon factors.
Lean Updated 29 days ago 1 commits
pulse-dev|Mirror: fukubillueda-web/epsilon_FML (⭐0)
29 days agoAbout
Lean 4 formalization of Langlands's First Main Lemma for local epsilon factors.
Readme