← All repos

PrimeNumberTheoremAnd

Blueprint for the PNT+ Project

GitHubalexkontorovich.github.io/PrimeNumberTheoremAnd/
Browse cluster: Lean4 Formal Verification & Cryptography →
3,503commits
86contributors
9languages

Tech stack & purpose

PrimeNumberTheoremAnd is a project to formalize the Prime Number Theorem and related results in analytic number theory using the Lean proof assistant. The primary objectives are to formalize the Prime Number Theorem with classical error term and the Prime Number Theorem in Arithmetic Progressions, with a stretch goal of obtaining the Chebotarev density theorem. The project is coordinated by Alex Kontorovich and hosted on GitHub, with collaboration facilitated through a dedicated Lean Zulip channel, and contributions are welcomed through standard pull request workflows with support for web-based editing via Gitpod.

Community & reference links

Languages

Lean
99.1%
TeX
0.7%
Python
0.2%
HTML
0.0%
CSS
0.0%
Ruby
0.0%
Dockerfile
0.0%
SCSS
0.0%
Perl
0.0%

Contributors (top 30 of 86)