leanprover/lean4
Fork: 430 Star: 4779 (更新于 2024-12-07 03:25:51)
license: Apache-2.0
Language: Lean .
Lean 4 programming language and theorem prover
最后发布版本： v4.12.0-rc1 ( 2024-09-03 11:01:10)
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-09-26 06:26:18)
2024-09-03 11:01:10 v4.12.0-rc1
2024-09-02 09:15:58 v4.11.0
2024-08-29 13:05:22 v4.11.0-rc3
2024-08-12 11:37:46 v4.11.0-rc2
2024-08-05 09:57:19 v4.11.0-rc1
2024-07-31 14:28:10 v4.10.0
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
主题(topics):
lean, lean4
leanprover/lean4同语言 Lean最近更新仓库
1970-01-01 00:00:00 notepad-plus-plus/userDefinedLanguages
1970-01-01 00:00:00 leanprover-community/mathlib4
1970-01-01 00:00:00 leanprover-community/lean-sensitivity