Sign inSign up

Lean-zh/fp-lean-zh

Lean 函数式编程

LeanStars 39Forks 14Watchers 39Open issues 14License Other
Details
仓库信息
OwnerLean-zh
Homepagehttps://www.leanprover.cn/fp-lean-zh/
GitHubhttps://github.com/Lean-zh/fp-lean-zh
Last pushed2025-09-26
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--