From 4c530fae8368565e72dc43fce8c199de60d22d4a Mon Sep 17 00:00:00 2001 From: Sidharth Hariharan Date: Mon, 17 Aug 2026 12:07:46 -0700 Subject: [PATCH 1/2] data: edit formalization.yaml --- formalization.yaml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/formalization.yaml b/formalization.yaml index faa199f..f19fb7d 100644 --- a/formalization.yaml +++ b/formalization.yaml @@ -14,13 +14,15 @@ sources: id: "https://doi.org/10.1186/s40687-014-0012-7" type: "article" location: "Theorem 4(i)" - relationship: "Formalizes, conditional on the Bombieri-Vinogradov Theorem" + relationship: "other" + source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it" - title: "Small gaps between primes" authors: [James Maynard] id: "https://doi.org/10.4007/annals.2015.181.1.7" type: "article" location: "Theorem 1.4, second inequality" - relationship: "Formalizes the fact that the Bombieri-Vinogradov theorem implies them" + relationship: "other" + source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it" classification: arxiv: [math.NT] From fe1fe02c75b28897fe935ab6ae935427946fed68 Mon Sep 17 00:00:00 2001 From: Sidharth Hariharan Date: Mon, 17 Aug 2026 12:16:10 -0700 Subject: [PATCH 2/2] change relationship to `formalizes` --- formalization.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/formalization.yaml b/formalization.yaml index f19fb7d..5a9ad58 100644 --- a/formalization.yaml +++ b/formalization.yaml @@ -14,14 +14,14 @@ sources: id: "https://doi.org/10.1186/s40687-014-0012-7" type: "article" location: "Theorem 4(i)" - relationship: "other" + relationship: "formalizes" source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it" - title: "Small gaps between primes" authors: [James Maynard] id: "https://doi.org/10.4007/annals.2015.181.1.7" type: "article" location: "Theorem 1.4, second inequality" - relationship: "other" + relationship: "formalizes" source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it" classification: