primenumbertheoremand
blueprint for prime number theorem and more
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (11.3%) to scientific vocabulary
Repository
blueprint for prime number theorem and more
Basic Info
- Host: GitHub
- Owner: AlexKontorovich
- License: apache-2.0
- Language: Lean
- Default Branch: main
- Size: 3.16 MB
Statistics
- Stars: 181
- Watchers: 9
- Forks: 39
- Open Issues: 1
- Releases: 0
Metadata Files
README.md
PrimeNumberTheoremAnd
The objective of this project is to formalize in Lean the Prime Number Theorem (with classical error term), as well as related results such as the Prime Number Theorem in Arithmetic Progressions. A stretch goal would be to obtain the Chebotarev density theorem.
Zulip
The project is coordinated via a Lean Zulip channel.
Blueprint
This project has a blueprint, which is available at https://AlexKontorovich.github.io/PrimeNumberTheoremAnd/web/.
To use the tool, first install local requirements using
sh
pip install -r blueprint/requirements.txt
Then compile documentations using make blueprint in the top-level directory. Alternatively, if the PDF is needed, type
sh
cd blueprint
make pdf
Use of LaTeX inside Lean
For those using github's copilot (free for educators), it's very convenient to have the natural language statements
right next to the Lean to be formalized. So we write the blueprint TeX right in the *.lean document, separated by
delimiters /-%% text here %%-/ for multi-line and --%% text here for single-line TeX. The code automatically
scrapes these and populates the blueprint accordingly.
Quick contributions via gitpod
If you want to quickly contribute to the project without installing your own copy of lean, you can do so using gitpod. Simply visit: https://gitpod.io/new/#https://github.com/AlexKontorovich/PrimeNumberTheoremAnd/, or click the button below:
All the required dependencies will be loaded (this takes a few minutes), after which you will be brought to a web-based vscode window, where you can edit the code, and submit PR's.
Owner
- Login: AlexKontorovich
- Kind: user
- Repositories: 4
- Profile: https://github.com/AlexKontorovich
Citation (CITATION.cff)
cff-version: 1.2.0
message: >
If you use this project in your work, please cite it using the metadata below.
title: "Prime Number Theorem and More"
version: 0.1.0
date-released: 2024-01-09
authors:
- family-names: Kontorovich
given-names: Alex
orcid: https://orcid.org/0000-0001-7626-8319
- family-names: Tao
given-names: Terence
orcid: https://orcid.org/0000-0002-0140-7641
repository-code: https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
url: https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
abstract: >
A collaborative research exposition on the Prime Number Theorem and related topics in analytic number theory,
organized by Alex Kontorovich and Terence Tao. Launched January 9, 2024, and ongoing.
keywords:
- number theory
- analytic number theory
- prime number theorem
- collaborative mathematics
- expository project
GitHub Events
Total
- Watch event: 46
- Delete event: 2
- Issue comment event: 24
- Push event: 329
- Pull request review comment event: 29
- Pull request review event: 129
- Pull request event: 250
- Fork event: 12
- Create event: 8
Last Year
- Watch event: 46
- Delete event: 2
- Issue comment event: 24
- Push event: 329
- Pull request review comment event: 29
- Pull request review event: 129
- Pull request event: 250
- Fork event: 12
- Create event: 8
Issues and Pull Requests
Last synced: 7 months ago
All Time
- Total issues: 2
- Total pull requests: 331
- Average time to close issues: about 1 hour
- Average time to close pull requests: 1 day
- Total issue authors: 2
- Total pull request authors: 30
- Average comments per issue: 0.0
- Average comments per pull request: 0.09
- Merged pull requests: 256
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 1
- Pull requests: 157
- Average time to close issues: about 1 hour
- Average time to close pull requests: 1 day
- Issue authors: 1
- Pull request authors: 19
- Average comments per issue: 0.0
- Average comments per pull request: 0.12
- Merged pull requests: 111
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- AlexKontorovich (1)
- ianjauslin-rutgers (1)
Pull Request Authors
- AlexKontorovich (84)
- Ruben-VandeVelde (37)
- llllvvuu (26)
- ianjauslin-rutgers (24)
- VladaSedlacek (24)
- teorth (22)
- ajirving (21)
- vbeffara (17)
- emo916math (11)
- pitmonticone (9)
- modderme123 (7)
- FLDutchmann (7)
- prestontranbarger (6)
- grhkm21 (4)
- ultronozm (4)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- actions/checkout v4 composite
- actions/configure-pages v4 composite
- actions/deploy-pages v3 composite
- actions/setup-python v5 composite
- actions/upload-pages-artifact v2 composite