Anthropic
Репозиторий Fermat от Anthropic копирует 106 файлов из человеческого проекта Lean
Репозиторий релиза был создан 4 сентября в 14:21 UTC. В собственном файле атрибуции указано, что 106 файлов содержат текст из проекта Кевина Баззарда в Imperial College и flt-regular, 41 из них — байт-в-байт идентичны.
1 ч назад
