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