Aleph de @logic_int est tellement bon qu'il a pris la première place sur Putnam et a trouvé 15 erreurs dans le benchmark🔥 Aussi un grand merci à George pour sa divulgation !