官方: Lean (leanprover.github.io)
社区:Lean community (leanprover-community.github.io)
(github.com): leanprover-community/mathlib4: Work in progress mathlib port for lean 4
官方: Lean (leanprover.github.io)
社区:Lean community (leanprover-community.github.io)
(github.com): leanprover-community/mathlib4: Work in progress mathlib port for lean 4