Newbie

Stream: new members

[Nga Ngo]

Hi everybody,
I am Nga Ngo, from Thang Long University in Hanoi, Vietnam. I have been studying lean to formal some theorems several months. Nice to be friend with all of you.

[Johan Commelin]

Welcome to Zulip! If you have any questions. Just ask! It's the way we've all learned Lean. (Except for some frienly wizards, who seem to have known Lean before it was invented.)

[Mario Carneiro]

Hello again, it's nice to hear you are still working with lean

[Nga Ngo]

Welcome to Zulip! If you have any questions. Just ask! It's the way we've all learned Lean. (Except for some frienly wizards, who seem to have known Lean before it was invented.)

Thanks, I will ask maybe many stupid questions because I got many problems when I tried to deal with R^n

[Nga Ngo]

Hello again, it's nice to hear you are still working with lean

Hi, hope to see you again in Quy Nhon in June. Will you take part in The Vietnam-America conference?

[Mario Carneiro]

I don't know, but I haven't planned on it. I guess Tom Hales will be there?

[Nga Ngo]

I don't know, but I haven't planned on it. I guess Tom Hales will be there?

As I know, he will. And I hope you will be there, too.

[Jesse Michael Han]

hi again! i will also be there

[Nga Ngo]

I am very glad to hear that, Jesse.