Apache License 2.0
AI 技术解读 AI 生成
以下内容由 AI 大模型基于项目 README 与元信息生成，仅供技术选型参考， 具体以项目官方文档为准。
leanprover/lean4
仓库概览、指标与主题
关于
Lean 4 programming language and theorem prover
简要分析
热度分
9989
价值分
5133
活跃状态
活跃
主题数量
2
语言Lean
默认分支master
大小5.7 GB
更新6月7日
编辑推荐
社区关注度与协作度较高，适合实践与生产使用。
语言占比
C
C++
CMake
HTML
Haskell
Lean
Makefile
Nix
OCaml
Python
Shell
Standard ML
Swift
Release
- v4.33.0-rc17月15日
- v4.32.07月13日
- v4.32.0-rc16月18日
- v4.31.06月15日
- v4.31.0-rc26月8日
评论