leanprover의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Lean 4 프로그래밍 언어 및 정리 증명기
Lean 컴퓨터 과학 라이브러리 (CSLib)
Lean 버전 관리자
