Repositories list

• LeanParanoia

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

• Sphere-Packing-Lean

  Public
  A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

  Lean

  •

  Apache License 2.0

  •30•0•0•1•Updated Feb 24, 2026Feb 24, 2026

• RiemannHypothesisCurves

  Public
  A formal proof of the Riemann Hypothesis for curves

  Lean

  •2•40•1•0•Updated Feb 6, 2026Feb 6, 2026

• KakeyaFiniteFields

  Public
  A complete Lean 4 formalization of the Kakeya set problem over finite fields

  Lean

  •2•15•0•0•Updated Dec 16, 2025Dec 16, 2025

• ZkLinalg

  Public
  Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity

  Lean

  •1•76•0•0•Updated Dec 11, 2025Dec 11, 2025

• strongpnt

  Public
  Lean

  •18•291•1•0•Updated Sep 11, 2025Sep 11, 2025