待办待读

学业相关工具

了解Lean语言：

精益数学 — 精益数学 v4.19.0 文档

Theorem Proving in Lean 4

休闲极客工具

做游戏的

“游戏引擎”是什么？

• 做2D/3D游戏的 Unity

• 做2D游戏的开源引擎 Defold - Official Homepage - Free, small and truly cross platform game engine

数学、AI等论文

关注的企业名录

黑龙江有哪些做工业机器人的企业？

博实自动化，思哲睿，华工智耘，斑之斓海洋科技，华奥智能装备，长木谷医疗科技，灵博机器人，芯明天科技，具识智能。