ImperialCollegeLondonFLT

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.

    mathlibb8e6a88

    The math library of Lean 4