Wesum AI

Equational Theories

事件

2200万种代数等式关系的形式化项目，通过AI+Lean+社区协同，48小时完成大规模筛选

1 次提及2 个连接首次出现: 2026-06-20最近出现: 2026-06-20

关系图谱

关系 (2)

使用技术 (1)

Lean

领导 (1)

陶哲轩

相关文章 (1)