Palomar: A registry of Lean verified mathematics

Palomar는 Lean으로 검증된 수학의 레지스트리입니다.

Palomar는 Lean 프로그래밍 언어를 사용하여 수학 정리를 검증하는 자료를 모은 레지스트리입니다. 이 프로젝트는 수학의 신뢰성을 높이기 위해 개발되었습니다. Lean의 검증된 수학 자료를 통해 사용자들은 정리의 정확성을 쉽게 확인할 수 있습니다.

Palomar is a registry of Lean verified mathematics.

Palomar is a registry that compiles mathematical theorems verified using the Lean programming language. This project aims to enhance the reliability of mathematics by providing a collection of verified resources. Users can easily check the correctness of theorems with Lean's verified mathematical materials.