Sign inSign up

Lean-zh/math-in-lean-zh

Lean 形式化数学

HTMLStars 14Forks 9Watchers 14Open issues 19
Details
仓库信息
OwnerLean-zh
Homepagehttp://www.leanprover.cn/math-in-lean-zh/
GitHubhttps://github.com/Lean-zh/math-in-lean-zh
Last pushed2025-10-08
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--