Lean 4로 정리 증명하기
이 문서는 Theorem Proving in Lean 4를 기계 번역 후 검토한 비공식 한국어 번역본입니다. 원문은 Apache License 2.0에 따라 배포되며, 이 문서에는 한국어 번역이라는 변경 사항이 적용되었습니다.
이 문서는 Lean 4(구체적으로는 4.33.0)를 사용한다고 가정합니다. Lean을 설치하려면 Lean 문서의 빠른 시작 섹션을 참고하십시오. 이 책의 첫 번째 판은 Lean 2를 기준으로 작성되었으며, Lean 3 판은 여기에서 볼 수 있습니다.