Lean을 배우는 방법

Lean은 함수형 범용 프로그래밍 언어이자 증명 보조기예요. Lean을 배울 수 있는 자료는 아주 많아요. 프로그래밍으로서의 측면에 초점을 맞춘 자료도 있고, 정리 증명기로 활용하는 데 초점을 맞춘 자료도 있어요.

책 Functional Programming in Lean은 Lean을 사용해 함수형 프로그래밍 패러다임을 소개해요. 함수형 프로그래밍 언어를 다뤄 본 적이 없어도 Lean을 배우고 싶은 프로그래머를 위한 책이에요.

Lean에서의 정리 증명을 더 깊이 살펴보고 싶다면, 책 Theorem Proving in Lean 4가 공식 자료로 등록되어 있어요.

The Lean Language Reference는 언어에 대한 자세한 정보를 담은 권위 있는 출처예요.

Lean 학습에 도움이 되는 더 많은 자료는 Lean Community에서 제공해요.