Issues

• Share prompt

  anthropics/formal-math#26 · Filter by author ermeel86 opened on Sep 6, 2026

• Unconditional simple-on-critical-line proportion for ζ raised to 0.6728005676 (kernel-checked) — see PR #17

  anthropics/formal-math#25 · Filter by author mdumitrean opened on Aug 30, 2026

• question 54

  anthropics/formal-math#16 · Filter by author zecarlos349 opened on Aug 21, 2026

• Reproducing EnclOK: the discharge path for the bandwidth-one ceiling is not documented

  anthropics/formal-math#14 · Filter by author wozniczko-wq opened on Aug 20, 2026

• Independent computational observations: ecological structure of zeta zeros

  anthropics/formal-math#10 · Filter by author heyjerrybecker opened on Aug 13, 2026

• Downstream dependency report: an audited bridge project pinned to v1.0, plus an arithmetic-interface experiment over the §5 prime side

  anthropics/formal-math#9 · Filter by author tracyphasespace opened on Aug 12, 2026
  2

• Request for certificate file cert_N256_blk_b128m.json (referenced in LawN256.lean / README)

  anthropics/formal-math#8 · Filter by author by1992114-max opened on Aug 12, 2026
  1

• Potential minor error in Lemma 3.2's stated equality case

  anthropics/formal-math#7 · Filter by author wzhoucent opened on Aug 12, 2026
  1

• Suggested references (Özlük 1996, CLLR 2014): the family-side analogue of H(λ) reaches 11/12

  anthropics/formal-math#5 · Filter by author slashbinslashnoname opened on Aug 12, 2026