GitHub repository: khwilson/squarefree_asymptotics
Primary language: Lean
Created: 2022-03-11T23:01:51Z
Description: A formally verified proof that the density of squarefree numbers is ζ(x)⁻¹