유용한 Lean 자료

Lean을 익히는 데 도움이 되는 유용한 자료를 모았어요.

  • 공식 사이트는 언어에 관한 콘텐츠가 모여 있는 주요 저장소예요. 아무것도 설치하지 않고도 언어를 직접 써볼 수 있는 온라인 플레이그라운드도 있어요.
  • Reservoir는 Lean과 Lake 생태계의 패키지를 색인하고 빌드하고 테스트해요. 서드파티 패키지를 찾을 때 가장 먼저 들르는 곳이에요.
  • Lean Community는 Lean 생태계를 중심으로 활동하는 협업 오픈소스 네트워크예요. 커뮤니티가 주도해서 만드는 Lean 4의 대표 수학 라이브러리인 _mathlib_을 관리하고 있어요.
  • Lean 4 Zulip Chat은 Lean Community의 주요 채팅 채널이에요.