The Stacks Project, Formalized in Lean
Article URL: https://axiommath.ai/research/the-stacks-project-formalized/
Comments URL: https://news.ycombinator.com/item?id=50380979
Points: 7
# Comments: 0
原文出处：Hacker News （本文由聚合程序自动采集，版权归原作者所有）
Article URL: https://axiommath.ai/research/the-stacks-project-formalized/
Comments URL: https://news.ycombinator.com/item?id=50380979
Points: 7
# Comments: 0
原文出处：Hacker News （本文由聚合程序自动采集，版权归原作者所有）