Meme
of
LinOnetwo
林一二
的
模因
和
想法
Index
😁 Add Icon
Add Cover
用Lean做概率论和金融工程的笔记
林一二
2024年06月05日 20:07
任务
学Lean
不放在太记里间隔重复，而是放在一个Github仓库里，毕竟这是拿来用的，应该在使用过程中熟悉，一直用不到的就忘了吧。
打开可交互卡片
新子任务
新后续任务
开始任务
任务上下文
日历记录
添加所在项目
学Lean
我的求知欲
用Lean做概率论和金融工程的笔记
Undefined widget 'supertag-form'