No results found

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Sort by
  1. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  2. Git dependency.
    Found on Reservoir.

    mathlib6f872f1

    The math library of Lean 4