Formal Proof Challenge: The Half-Collatz Theoremnickdrozd.github.io3 points·nickdrozd··0 commentsOpen articleSaveView on HN