Mertens theorems - #1720

Draft

Tragicus wants to merge 9 commits into

math-comp:masterfrom

Tragicus:mertens

Commits on Aug 23, 2025

continuous_big
Tragicus
committed
f5be604

Commits on Sep 10, 2025

Starting PNT Proof

LucasMalaizier
authored and
Tragicus
committed
7ea8cee
Starting Second Mertens' Theorem Proof

LucasMalaizier
authored and
Tragicus
committed
68be4fd
Mertens' Second Theorem Proof - First step

LucasMalaizier
authored and
Tragicus
committed
abda8de

Commits on Sep 18, 2025

Completed proof of Mertens second theorem
Tragicus
committed
3a4fc0b

Commits on Sep 19, 2025

wip
Tragicus
committed
f8fbd0a

Commits on Feb 22, 2026

generalize ge0_continuous_FTC2y
Tragicus
committed
e5fde6e
++pnt, review up to bertrand
Tragicus
committed
15021c5

Commits on Mar 20, 2026

minor optimizations
Tragicus
committed
f09f8d6