看《Lean中的数学》

林一二2024年06月28日 22:39

用沉浸式翻译做了双语版,简单问题问加载了英文版PDF的豆包,同时用VSCode试玩。

学Lean 读书 我的求知欲 增广见闻 提升创造力

Undefined widget 'supertag-form'