Publicaciones sobre Lean Canal RSS 07-06-2025La disputa sobre la conjetura abc y el papel de la verificación formal