number-theory / Additive combinatorics
New arXiv preprint with an author-provided Lean formalization; not yet peer-reviewed.
Temporal state
No reconciled state yet.
Append-only history
New arXiv preprint with an author-provided Lean formalization; not yet peer-reviewed.
Research memory
New arXiv preprint with an author-provided Lean formalization; not yet peer-reviewed.
New arXiv preprint with an author-provided Lean formalization; not yet peer-reviewed.
Evidence graph
parent of · claim · theorem
parent of · event · claim reported