Solutions mathématiques complètes. Vérification formelle complète en Lean. Les deux méritent d’être récompensés grâce au #JustinSunPrize

En savoir plus :
https://hejustinsun.com/prize

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