Ryan Dau introduction, and note of thanks

Stream: new members

[Ryan Dau]

Hello everyone! :wave:

I am a nontraditional (read: older than the norm) undergraduate student majoring in mathematics. I am currently working through Heather Macbeth's Mechanics of Proof "bilingual" textbook, and I'm having a blast doing so! Most of the discussion on here is over my head, so I'll mostly be lurking, I think, but I want to express my sincere appreciation for everyone who has contributed to this project and all things Lean. :grinning_face_with_smiling_eyes: