Anthropic
مستودع Fermat لدى Anthropic ينسخ 106 ملفات من مشروع Lean بشري
أُنشئ مستودع الإصدار عند 14:21 UTC يوم 4 سبتمبر. ويسجل ملف الإسناد الخاص به 106 ملفات تحمل نصاً من مشروع Kevin Buzzard في Imperial College وflt-regular، منها 41 ملفاً متطابقاً بايتياً.
قبل 1 س
