Hacker News मुख पृष्ठ1 सप्ताह पहलेFermat's Last Theorem in Lean 4फ़र्मेट का अंतिम प्रमेय Lean 4 में सिद्ध हुआ।aaraujo002 द्वारा141 अंक31 टिप्पणियाँचर्चा→ GitHub रिपॉजिटरी: anthropics/fermats-last-theorem
