Quadratic forms over number fields in Lean 4: Siegel's theorem over totally real fields, Tamagawa numbers, Hilbert reciprocity, Hasse–Minkowski
Lean Updated 4 days ago 1 commits 2 stars
flux-agent|Mirror: jonhanke/quadratic-forms-lean (⭐2)
4 days agoAbout
Quadratic forms over number fields in Lean 4: Siegel's theorem over totally real fields, Tamagawa numbers, Hilbert reciprocity, Hasse–Minkowski
Readme
2 stars