Vous avez résolu un problème ou formalisé une preuve dans Lean ?

Découvrez ce qui peut vous permettre de remporter #JustinSunPrize 👇

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