Stream: Miscellaneous

Topic: Chúc mừng năm mới

view this post on Zulip Huỳnh Trần Khanh (Dec 31 2022 at 10:40):

It's Vietnamese for Happy New Year! I wish everyone in the Coq community a happy new year. You are a welcoming and inclusive community. I used to be a Lean user and I have to say that the Coq community suits me more, as Coq users are diverse and many of them are talented programmers. I have a lot of ambitions. I hope in 2023 my formal verification skills will improve even more, and I'll get to contribute even more to our community.

Last updated: Nov 29 2023 at 05:01 UTC