Meme
of
LinOnetwo
林一二
的
模因
和
想法
Index
Change Cover
😁 Add Icon
看《Lean中的数学》
林一二
2024年06月28日 22:39
读书
任务
学Lean
用沉浸式翻译做了双语版，简单问题问加载了英文版PDF的豆包，同时用VSCode试玩。
打开可交互卡片
新子任务
新后续任务
开始任务
任务上下文
日历记录
添加所在项目
学Lean
读书
我的求知欲
增广见闻
提升创造力
看《Lean中的数学》
Undefined widget 'supertag-form'