Skip to content
#

lll

Here are 36 public repositories matching this topic...

Beal Conjecture Level 26: Gap-3 A^4+B^4=(B+3)^13 → Baker B0=10^6 unconditional | Lean4 Mathlib 4.12 83 modules v24.4.0 db7a556 DOI 10.5281/zenodo.22732209 → v25.0.0 wiring e823a52 f7bbdc5, Matveev 2000 Thm1.4 n=2 C1=143186215390 hGen ∀α1,α2>1 α2=B+3 + Bugeaud LLL hLLL → ∀B¬∃A, one sorry at 716 in beal-level-26-foundations 4bd15bd

  • Updated Sep 13, 2026
  • Lean

Add this topic to your repo

To associate your repository with the lll topic, visit your repo's landing page and select "manage topics."

Learn more