HAPPY NEW YEAR

Stream: general

[Huỳnh Trần Khanh]

today is January 1st, 2022. I hope Lean will become 10000000000x faster, the community will become 10000000000x bigger and formal verification will become the next buzzword, just like blockchain and machine learning!!!!!!

this community has changed my life! you have been extraordinarily helpful! you motivated me to grind formal verification and read about formal verification! even though I don't understand everything, my knowledge has expanded a lot :tada:

[Martin Dvořák]

Happy New Year to you too!