leanprover/lean4
Fork: 395 Star: 4507 (更新于 2024-09-18 20:39:42)
license: Apache-2.0
Language: Lean .
Lean 4 programming language and theorem prover
最后发布版本: v4.9.1 ( 2024-07-10 06:56:36)
This is the repository for Lean 4.
About
- Quickstart
- Homepage
- Theorem Proving Tutorial
- Functional Programming in Lean
- Manual
- Release notes starting at v4.0.0-m3
- Examples
- External Contribution Guidelines
- FAQ
Installation
See Setting Up Lean.
Contributing
Please read our Contribution Guidelines first.
Building from Source
See Building Lean (documentation source: doc/make/index.md).
最近版本更新:(数据更新于 2024-07-29 04:42:12)
2024-07-10 06:56:36 v4.9.1
2024-07-09 23:27:55 v4.10.0-rc2
2024-07-01 08:21:09 v4.9.0
2024-07-01 07:57:47 v4.10.0-rc1
2024-06-24 10:11:23 v4.9.0-rc3
2024-06-14 09:24:11 v4.9.0-rc2
2024-06-06 20:56:20 v4.9.0-rc1
2024-06-05 11:24:31 v4.8.0
2024-05-22 08:07:37 v4.8.0-rc2
2024-05-02 19:26:04 v4.8.0-rc1
主题(topics):
lean, lean4
leanprover/lean4同语言 Lean最近更新仓库
1970-01-01 00:00:00 leanprover-community/mathlib4
1970-01-01 00:00:00 leanprover-community/lean-sensitivity