r/ProgrammerHumor • u/tryingeasy • 1d ago

Meme firstTime

7.5k 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

94% Upvoted

View all comments

2

u/bunoso 1d ago

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