¿Resolviste un problema o formalizaste una demostración en Lean?

Descubre qué cuenta para #JustinSunPrize 👇

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