Lean 4 Formalization of Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond

The repo is formalized by LeanMarathon, built upon Erdos1196.

Inputs

• source/problem.txt: theorem statements of Erdős #164 & #1217
• source/paper/: LaTeX source of paper

Output

• LeanMarathon/Main.lean: completed Lean file

Proof DAG Evolution