← All Papers · Formal Verification

Nt Collatz Cycle Elimination — SUBMISSION ARTIFACTS

Dr. Tamás Nagy Skeleton Formal Verification
Unreviewed draft. This paper has not been human-reviewed. Mathematical claims may be unverified. Use with appropriate caution.
View in Graph BibTeX
Length
1,256 words
Claims
10 theorems
Status
Unknown

Connects To

Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →