官方： Lean (leanprover.github.io)
社区：Lean community (leanprover-community.github.io)
(github.com)： leanprover-community/mathlib4: Work in progress mathlib port for lean 4
数学证明助手 Lean
发布时间 2023-07-26 16:09:26作者: Hopesun
官方： Lean (leanprover.github.io)
社区：Lean community (leanprover-community.github.io)
(github.com)： leanprover-community/mathlib4: Work in progress mathlib port for lean 4