GitHub repository: GihanMarasinghaOrg/quadratic_sieve
Primary language: Lean
Created: 2025-06-30T11:22:43Z
Description: Formalisation of the quadratic sieve