I have a similar list of FizzBuzzes in Lean from when I started programming in that language: https://drive.google.com/file/d/1lPnQiik5cAx0X2E3GNbw_Oaug87FNIOi

I have a similar list of FizzBuzzes in Lean from when I started programming in that language: https://drive.google.com/file/d/1lPnQiik5cAx0X2E3GNbw_Oaug87FNIOi/view?usp=sharing https://drive.google.com/file/d/1lPnQiik5cAx0X2E3GNbw_Oaug87... I wrote more, but it got too silly.