#formal verification

Anthropic의 Fermat Repo, 인간이 작성한 Lean 프로젝트에서 106개 파일 복사

4일 14시 21분 UTC에 생성된 배포용 저장소다. 자체 기여도 파일에는 Kevin Buzzard의 Imperial College 프로젝트와 flt-regular의 텍스트가 담긴 106개 파일이 기록돼 있으며, 이 가운데 41개는 바이트 단위로 동일하다.

1시간 전