Popular repositories Loading

1. Thue Thue Public

   A formalised proof of "The only solutions in integers of the Thue equation x³-2y³=1 are (1,0) and (-1,-1)."

   Lean

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   My fork of the maths library of Lean 4

   Lean

3. XYin XYin Public

   Ongoing PhD project to formalise the modular j-function in Lean

   Lean

4. AINTLIB AINTLIB Public

   Forked from CBirkbeck/AINTLIB

   Atlas of formalised number theory in Lean (Verso blueprint)

   Lean

5. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Fork of FLT

   Lean