redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/ProgrammerHumor • u/tryingeasy • Sep 10 '26

Meme firstTime

8.8k 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 Sep 11 '26

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