Risultati della ricerca - Merle, Eric
-
1
On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
Pubblicazione 2026Fuente: ZenodoTipo de material: Recurso digitalAcceso al recurso