finished my first “serious” formalization (i.e. it’s an actual theorem, not a toy example). this is based on an example from the book i’m reading (Mathematics in Lean) but i rewrote the code on my own from scratch to better understand the proof. it was fun! (and took me the whole week)

Show Post

You manage to pull them down more and get a closer picture of dad.

Show Post

Oh FUCK dad woke up mid snap of a picture you tried to sneak. You got caught....

Show Post

merry christmas 😘🎄

Show Post

Kapalı içerik

Show Post