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