Zulip Chat Archive

Stream: new members

Topic: Newbie


view this post on Zulip Nga Ngo (Feb 26 2019 at 10:40):

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.

view this post on Zulip Johan Commelin (Feb 26 2019 at 10:42):

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.)

view this post on Zulip Mario Carneiro (Feb 26 2019 at 10:48):

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

view this post on Zulip Nga Ngo (Feb 26 2019 at 10:48):

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

view this post on Zulip Nga Ngo (Feb 26 2019 at 10:54):

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?

view this post on Zulip Mario Carneiro (Feb 26 2019 at 10:57):

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

view this post on Zulip Nga Ngo (Feb 26 2019 at 10:58):

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.

view this post on Zulip Jesse Michael Han (Feb 26 2019 at 18:07):

hi again! i will also be there

view this post on Zulip Nga Ngo (Feb 27 2019 at 01:50):

I am very glad to hear that, Jesse.


Last updated: May 16 2021 at 21:11 UTC