Post

the problem with learning to code in lean is you see the word sorry and reflexively think “I’m gonna need proof”