mastodon — José A. Alonso — 6 Sep 2026
Li's criterion for the Riemann Hypothesis, in Lean 4. ~ Nicholas Bulka. https:// github.com/nicholasbulka/li-cr iter…
#number-theory #proof-assistants #riemann-hypothesis
Li's criterion for the Riemann Hypothesis, in Lean 4. ~ Nicholas Bulka. https:// github.com/nicholasbulka/li-cr iterion-rh-equivalence-lean # LeanProver # ITP # AI4Math