amellendijkBV0.1.0

A Lean blueprint documenting a formalization of Bombieri-Vinogradov
Sort by
  1. Git dependency.
    Found on Reservoir.

    PrimeNumberTheoremAndv4.35.0

    Blueprint for the PNT+ Project
  2. Git dependency.
    Found on Reservoir.

    leancertv4.35.0

    Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  3. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  4. Git dependency.
    Found on Reservoir.

    mathlibv4.35.0

    The math library of Lean 4
  5. Git dependency.
    Found on Reservoir.

    LeanArchitectv4.35.0

    LeanArchitect extracts a blueprint directly from Lean source.