All issues

Search results

[IK]: Golf LSeries_totient_eq proof

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1732 In AlexKontorovich/PrimeNumberTheoremAnd;

· pink-iguana opened on Aug 2, 2026

[TMEEMT/RS]: Prove RS_prime.theorem_c (∑ 1/p > log log x for x > 1)

Status: Open.

#1694 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[TMEEMT/RS]: Prove RS_prime.theorem_d (∑ (log p)/p < log x for x > 1)

Status: Open.

#1692 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[IK]: Prove zeta_pow_four_eq (IK 1.29)

Status: Open.

#1690 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[IK]: Prove zeta_mul_zeta_mul_zeta_mul_zeta_eq (Ramanujan identity IK 1.28)

Status: Open.

#1688 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[TMEEMT/RS]: Prove RS_prime.theorem_b (π(x) > x/log x for x ≥ 17)

Status: Open.

#1687 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[IK]: Prove isCompletelyMultiplicative_liouville

Status: Open.

#1685 In AlexKontorovich/PrimeNumberTheoremAnd;

· Chessing234 opened on Jul 21, 2026

[KADIRI]: Weil-Guinand explicit formula (Theorem 3.1)

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1546 In AlexKontorovich/PrimeNumberTheoremAnd;

· teorth opened on Jun 12, 2026

[KADIRI]: Asymptotic vanishing of lower integral

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1539 In AlexKontorovich/PrimeNumberTheoremAnd;

· teorth opened on Jun 12, 2026

[KADIRI]: Asymptotic vanishing of upper integral

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1538 In AlexKontorovich/PrimeNumberTheoremAnd;

· teorth opened on Jun 12, 2026

[KADIRI]: Equation (16) - identity for complex part

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1494 In AlexKontorovich/PrimeNumberTheoremAnd;

· teorth opened on Jun 7, 2026

[KADIRI]: Equation (16) - intermediate identity for real part

taskThe issue is a formalisation task.The issue is a formalisation task.

Status: Open.

#1488 In AlexKontorovich/PrimeNumberTheoremAnd;

· teorth opened on Jun 6, 2026