Anthropic
Il repo di Fermat di Anthropic copia 106 file da un progetto Lean umano
Il repository di rilascio è stato creato alle 14:21 UTC del 4 settembre. Il suo file di attribuzione registra 106 file che contengono testo del progetto di Kevin Buzzard all'Imperial College e di flt-regular, 41 dei quali byte-identici.
1 h fa
