-
Notifications
You must be signed in to change notification settings - Fork 110
Pull requests: AlexKontorovich/PrimeNumberTheoremAnd
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Chore (MediumPNT): some proof simplification
#1714
opened Jul 25, 2026 by
ajirving
Contributor
Loading…
fix: π* index, CMS closed interval, Goldbach/PT–JY blueprints
awaiting-review
#1713
opened Jul 25, 2026 by
Chessing234
Contributor
Loading…
3 tasks done
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#1711
opened Jul 24, 2026 by
dependabot
Bot
Loading…
Chore (MediumPNT): Move an golf some residue results
#1637
opened Jul 11, 2026 by
ajirving
Contributor
Loading…
[StrongPNT]: Zero-Free Region (sigma <= 1 - E/log |t|)
#1635
opened Jul 10, 2026 by
prestontranbarger
Contributor
Loading…
KADIRI: equation 15 support modules (gamma-factor, Laplace-strip, oscillatory)
awaiting-review
#1604
opened Jun 18, 2026 by
Robby955
Contributor
Loading…
IK: fill three divisor-sum infra lemmas (#1011)
awaiting-review
#1554
opened Jun 13, 2026 by
Robby955
Contributor
Loading…
feat(IK): prove LSeries_liouville_eq
awaiting-review
#1533
opened Jun 12, 2026 by
giuseppesorge
Contributor
Loading…
feat(IwaniecKowalskiCh1): prove liouville_eq_moebius_on_squarefree
#1482
opened Jun 5, 2026 by
foolishair
Loading…
feat: prove LSeries_totient_eq (IK L1029 sorry closure, corrected hypothesis Re(s) > 2)
#1437
opened May 25, 2026 by
d0d1
Contributor
Loading…
feat(IK): prove zeta_mul_tau_square_eq
ai
Formalised using AI.
claude
Formalised using Claude models by Anthropic.
#1364
opened May 9, 2026 by
aeroplugin
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.