数学证明助手 Lean
1、官方： Lean (leanprover.github.io)
社区：Lean community (leanprover-community.github.io)
(github.com)： leanprover-community/mathlib4: Work in progress mathlib port for lean 4
2、Metamath http://us.metamath.org/
https://github.com/metamath
3、OpenAI 数学定理推理模型 ： GPT-f
4、LeanDojo： 带检索增强语言模型的定理证明 - 知乎 (zhihu.com)
官方网站：leandojo.org
gihub (github.com) : lean-dojo/LeanDojo: Tool for data extraction and interacting with Lean programmatically.