bubble sort now (deactivated) (Dec 31 2022 at 10:40): bubble sort now (deactivated) (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: Apr 20 2024 at 03:40 UTC