flt-regular
Fermat's Last Theorem for regular primes
Sort by
Require Order
doc-gen4
v4.20.0-rc5
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
88d1454
The math library of Lean 4
v4.20.0-rc5
lean4.18.0
88d1454