Resolveu um problema ou formalizou uma prova no Lean?

Veja o que se qualifica para #JustinSunPrize 👇

https://x.com/JustinSunPrize/status/2112447915478397301