프로젝트
GitHub에서 보기
leanprover/lean4
leanprover/lean4 has 9,938 GitHub stars and 1,100 forks. GitHot measured +87 in 7 days. Last checked 2026-11-10 01:33 UTC. Last push 2026-11-06.
Lean 4 programming language and theorem prover
측정된 스타 증가
- in 24h
- 업데이트 지연
- in 7 days
- +87
- in 15 days
- 업데이트 지연
- in 1 month
- 업데이트 지연
서로 겹치는 기간의 순증가량이며 일별 합계가 아닙니다. 측정값이 없으면 비워 둡니다. 스타는 관심도를 나타내며 품질을 보장하지 않습니다.
README.md
OriginalThis is the repository for Lean 4.
About
- Quickstart
- Homepage
- Theorem Proving Tutorial
- Functional Programming in Lean
- Documentation Overview
- Language Reference
- Release notes starting at v4.0.0-m3
- Examples
- External Contribution Guidelines
Installation
See Install Lean.
Contributing
Please read our Contribution Guidelines first.
Building from Source
See Building Lean.