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: 53 # Comments: 11
Read the original at Hacker News ↗Article URL: https://axiommath.ai/research/the-stacks-project-formalized/ Comments URL: https://news.ycombinator.com/item?id=50380979 Points: 53 # Comments: 11
Read the original at Hacker News ↗