github主页更新了！最近在用Lean4 follow一本深度学习教材。Open Source Since Day 1. 超级智能时代的学习，首先要对自己… · @xinzelimoqian · TwKit

@xinzelimoqian

github主页更新了！最近在用Lean4 follow一本深度学习教材。Open Source Since Day 1. 超级智能时代的学习，首先要对自己诚实。同时保持薄肌，大睡，和大水。 https://github.com/Xinze-Li-Moqian

曝光 100 · 评论 0 · 点赞 1 · 书签 0