已注销
@299900
祝贺基于类型论的 Proof Assistant 实现意义重大的里程碑!
2年11月前 via web
- @299900 已注销 - https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/
- @arimayukino Yukino - 诶你是Scholze的学生吗?
- @299900 已注销 - @Yukino 不知道你指的哪个意思,我不是 Sholze 师徒相承意义上的学生
- @299900 已注销 - @Yukino 目前为止 Lean 所取得的进展也与 Sholze 无关,他只是因为政治影响力/知名度被拉来背书的
- @arimayukino Yukino - 看见他的名字就好奇问下,不过数学也要讲学术政治吗b38