fbarroero

Pinned Repositories

• heights

  Language:Lean00

• mathlib4

  The math library of Lean 4

  Language:Lean1.5k331

• diophantine_approx

  Lean project for Diophantine Approximation

  Language:Lean20

• ostrowski2024

  Language:Lean20

• Siegel

  Language:Lean10

fbarroero's Repositories