现在用Lean确实很热，可能是陶哲轩参与推动的原因[酷]//@时蝇喜箭:@算法时空_新浪新闻

算法时空

26-06-25 18:31 微博认证：西安邮电大学副教授谢勰

现在用Lean确实很热，可能是陶哲轩参与推动的原因[酷]//@时蝇喜箭:@算法时空

发布于陕西