祝贺基于类型论的 Proof Assistant 实现意义重大的里程碑！

3年前 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