Hacker News 熱門The Stacks Project, Formalized in Lean2026/11/06 00:16· 3小时前查看原文（Hacker News 熱門）分享海报（1080px）导出 Markdown