The Stacks Project, Formalized in Lean

2026-11-06来源 Hacker NewsEnglish

Article URL: https://axiommath.ai/research/the-stacks-project-formalized/

Comments URL: https://news.ycombinator.com/item?id=50380979

Points: 21

# Comments: 3

原文：https://www.a8q9.cn/en/article/the-stacks-project-formalized-in-lean-6d6a32.html

相关文章