(1 - 15 von 45
)
Zulip Chat Archive - Lean communityleanprover-community.github.io › topic › Newbie
leanprover-community.github.io
· I am Nga Ngo, from Thang Long University in Hanoi, Vietnam. I have been studying lean to formal some theorems several months.
France – Vietnam Job Fair opened in Hanoi
www.alotrip.com
Recently, in Pullman Hanoi Hotel, France – Vietnam Job Fair took place. This is a great event for young people in Hanoi to seek suitable job.
sortiert nach Relevanz / Datum