<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
Lean-zh/fp-lean-zh
Lean 函数式编程
Lean
Stars 39
Forks 14
Watchers 39
Open issues 14
License Other
Details
仓库信息
Owner
Lean-zh
Homepage
https://www.leanprover.cn/fp-lean-zh/
GitHub
https://github.com/Lean-zh/fp-lean-zh
Last pushed
2025-09-26
Last updated
2025-12-14
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--