No results found

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Displaying 1-13 of 13 dependencies of FLT
Sort by

  1. batteries
    34e690e

    The "batteries included" extended library for the Lean programming language and theorem prover

  2. Qq
    v4.12.0-rc1

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    ff42052

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    2cf1030

  6. importGraph
    v4.12.0

    Tool to analyse the import structure of lean projects.

  7. LeanSearchClient
    781bece

  8. mathlib
    81d4159

  9. checkdecls
    11fa569

  10. MD4Lean
    5e95f47

  11. UnicodeBasic
    6d2e065

  12. BibtexQuery
    85e1e71

  13. doc-gen4
    ccb4e97