Happy Lunar New Year 🧧

Stream: general

[Huỳnh Trần Khanh]

wishing the formalization community good luck this year! I hope formalization will become an essential tool for both mathematicians and programmers, not just architecture astronauts!