Hacker News· practal·· 3 小时前精选AI 评分17
Xena 项目博客：如何形式化全部数学
How to Formalize All of Mathematics
AI 导读
Xena 项目博客发表《如何形式化全部数学》一文（xenaproject.wordpress.com），在 Hacker News 获 41 分、27 条评论。
来源：Hacker News · xenaproject.wordpress.com
How to Formalize All of Mathematics
Xena 项目博客发表《如何形式化全部数学》一文（xenaproject.wordpress.com），在 Hacker News 获 41 分、27 条评论。
来源：Hacker News · xenaproject.wordpress.com