Resultados de búsqueda - Merle, Eric
-
1
On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
Publicado 2026Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso