Lean proved this program was correct; then I found a bugkirancodes.me7 points·gopiandcode··0 commentsOpen articleSaveView on HN