FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
of 13 dependencies of FLT
1-13Sort by
Require Order
batteries
34e690e
The "batteries included" extended library for the Lean programming language and theorem proverQq
v4.12.0-rc1
Intuitive, type-safe expression quotations for Lean 4.aesop
ff42052
White-box automation for Lean 4proofwidgets
v0.0.42
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030
importGraph
v4.12.0
Tool to analyse the import structure of lean projects.- LeanSearchClient
781bece
- mathlib
81d4159
- checkdecls
11fa569
- MD4Lean
5e95f47
- UnicodeBasic
6d2e065
- BibtexQuery
85e1e71
- doc-gen4
ccb4e97