Lean 4 Bug Found Incidentally by AI, "Proving" Collatztwitter.com4 points·jryan49··0 commentsOpen articleSaveView on HN