强调数学和证明是好事，只是CS本科那點數學真的不難啊。。。真正難的formal verification咋沒看見呢

来源: 喀爾判0715 于 2025-09-05 08:53:06 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
本帖于 2025-09-05 08:56:11 时间, 由普通用户 喀爾判0715 编辑
请您先登陆，再发跟帖！