Beal's Conjecture Revisited (via dpk) — discussion

#formalmethods #math #python