年轻人开源算法导论证明|学院年轻人|算法导论|lean形式化证明

我们学院的年轻人开源了《算法导论》的lean形式化证明项目
http://t.cn/AXSo5INf ，这个太棒了，真正的科技和狠活
http://t.cn/AXSo5INI

发布于北京