有没有对“逻辑学”和“依值类型论”感兴趣的？

🌐 链接: https://www.v2ex.com/t/1254739#reply0
🏷️ 分组: V2EX技术
🕒 时间: 2026-11-05 15:33:52
V2EX
有没有对“逻辑学”和“依值类型论”感兴趣的？ - V2EX
程序员 - @iqoo - 推荐试试 [lean4 在线游戏]( https://adam.math.hhu.de/) 的 [A Lean Intro to Logic]( https://adam.math.hhu.de/#/