用Lean做概率论和金融工程的笔记

林一二2024年06月05日 20:07

不放在太记里间隔重复,而是放在一个Github仓库里,毕竟这是拿来用的,应该在使用过程中熟悉,一直用不到的就忘了吧。

学Lean 我的求知欲

Undefined widget 'supertag-form'

Code
不放在太记里间隔重复,而是放在一个Github仓库里,毕竟这是拿来用的,应该在使用过程中熟悉,一直用不到的就忘了吧。