Introducing myself: Dhruv Goswami

Stream: new members

[Dhruv Goswami]

Hello everyone!

My name is Dhruv, I'm a Math+AI undergrad at Carnegie Mellon. I only started learning about Lean in the past week, but I'm learning a lot and am really interested in Mechanized reasoning now. Looking forward to meeting more people and learning more!