amellendijkBV0.1.0

A Lean blueprint documenting a formalization of Bombieri-Vinogradov
Displaying 1-1 of 1 versions of BV
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    5 days ago
    Released on October 26, 2026 at 3:52:25PM
    Commit 74b68e7 builds on its recent leanprover/lean4:v4.35.0
    v4.35.0
    8.1 MB Build archive size: 8081866 bytes.