Mertens theorems#1720

Draft

Tragicus wants to merge 5 commits intomath-comp:masterfrom

Tragicus:mertens

Commits on Aug 23, 2025

continuous_big
Tragicus
committed

Commits on Sep 10, 2025

Starting PNT Proof

LucasMalaizier
authored and
Tragicus
committed
Starting Second Mertens' Theorem Proof

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

LucasMalaizier
authored and
Tragicus
committed

Commits on Sep 18, 2025

Completed proof of Mertens second theorem
Tragicus
committed