From 9cbb5bbfbd77cc56eabd405d50762f73a96b8000 Mon Sep 17 00:00:00 2001 From: Sidharth Hariharan Date: Tue, 18 Aug 2026 09:17:54 -0700 Subject: [PATCH 1/2] add .vscode to gitignore --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 1cc6956..88aa94b 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ -.lake/ \ No newline at end of file +.lake/ +.vscode \ No newline at end of file From d4fe72c582abb222caaa42a9688e33a8cc9ce8b1 Mon Sep 17 00:00:00 2001 From: Sidharth Hariharan Date: Tue, 18 Aug 2026 09:30:51 -0700 Subject: [PATCH 2/2] add project.description --- formalization.yaml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/formalization.yaml b/formalization.yaml index 9235dd5..eac7407 100644 --- a/formalization.yaml +++ b/formalization.yaml @@ -5,6 +5,12 @@ version: "v0.4" project: name: "PrimeGapsLib" authors: [Evan Chen, Sidharth Hariharan, Kenny Lau, Bhavik Mehta, Ken Ono, Ashvin Swaminathan, Jesse Thorner, Yunzhou Xie] + description: > + `PrimeGapsLib` is an evolving codebase aimed at housing results about gaps in primes. The + flagship result thus far is that pairs of primes are separated by at most 246 infinitely often, + conditional on the Bombieri-Vinogradov theorem. The 246 proof was generated collaboratively + between human formalisers at Axiom Math and AxiomProver, their in-house theorem proving system. + Community feedback and contributions are welcome! responsible_maintainers: [Kenny Lau, Ashvin Swaminathan] license: "Apache-2.0"