上帝真的存在吗？用 Lean Prover 拆解祷告论证错在何处
讨论的话题来自视频：https://www.bilibili.com/video/BV14JGPzuES1
如果没看过的话，推荐先看完之后再看本视频，要不然应该听不懂在这是在叽里咕噜说什么。
Lean prover 官网：https://lean-lang.org/
封面图使用 Google Gemini 生成。
配音使用 GPT-SoVITS 生成，七海语音模型来自网络。
七海的主页：https://space.bilibili.com/434334701
立即观看
0