Solved a problem or formalized a proof in Lean?
See what qualifies for #JustinSunPrize 👇
https://x.com/JustinSunPrize/status/2112447915478397301
See what qualifies for #JustinSunPrize 👇
https://x.com/JustinSunPrize/status/2112447915478397301
Publier
Avertissement : ce contenu inclut des opinions de tiers. Il ne constitue pas un conseil. Binance Ai peut être utilisée, sans garantie de résultat. Consultez les CG.