Mathlib

公司

Mathlib，基于 Lean 4 语言的开源形式化数学组织与代码库，涵盖从本科微积分到前沿数学研究的丰富内容，由社区驱动并获 XTX Markets 等机构资助

3 次提及5 个连接首次出现: 2026-04-20最近出现: 2026-06-23

关系图谱