로컬에 Lean 설치하기

내 컴퓨터에서 Exercism의 연습 문제를 풀 수 있도록 로컬에 Lean을 설치하는 방법을 알아봐요.

공식 웹사이트에 있는 설치 안내를 따라 하면 Lean을 설치할 수 있어요.