Sign inSign up

leanprover-community/mathlib4

The math library of Lean 4

LeanStars 2615Forks 941Watchers 2615Open issues 2169License Apache License 2.0
Details
仓库信息
Ownerleanprover-community
Homepagehttps://leanprover-community.github.io/mathlib4_docs
GitHubhttps://github.com/leanprover-community/mathlib4
Last pushed2025-12-13
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--