Bombieri-Vinogradov

A formalization of Bombieri-Vinogradov (modulo Siegel-Walfisz) is under way at https://github.com/FLDutchmann/lean-bombieri-vinogradov

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.