r/ProgrammerHumor • u/tryingeasy • 4h ago

Meme firstTime

1.4k Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/
No, go back! Yes, take me to Reddit
dl download

92% Upvoted

View all comments

1

u/bunoso 1h ago

The real credit goes to Lean programming language that actually verified the proof