热门

最新

红包

立Flag

投票

同城

发布
weixin_40587891
毛刷
2 年前
trueweixin_40587891

BB(5) 已通过在 Discord 上使用 Coq 进行验证的合作解决。

这是真正形式化数学的未来——以及依赖类型和可能正确的程序等下游技术的一个非常好的信号。

https://scottaaronson.blog/?p=8088

3
40
  • 复制链接
  • 举报
下一条：