Divergence of the Sum of the Reciprocals of Prime Numbers and the Second Mertens Theorem #9
Triggered via pull request
July 22, 2025 12:49
LucasMalaizier
LucasMalaizier
opened
#1690
Status
Failure
Total duration
48s
Artifacts
–
nix-action-8.20-2.3.0.yml
on: pull_request_target
Annotations
1 error
|
coq
Process completed with exit code 1.
|