stacks-project

A verifier-guided mathematical reasoning agent that converts informal mathematics into a typed theorem hypergraph, learns reusable proof strategies, and uses Lean 4 as the correctness oracle. Sage computes; Lean certifies.

Bourbaki, Elements of Mathematics: Algebra chapters I-VIII as Markdown, with permanent Stacks-style tags, translations (vi/zh/ja) and worked exercises

Bootstrapping the stacks project

Simple stack imlementation on ES6

Go toolchain that turns Bourbaki PDFs into a tagged Markdown corpus, translates it, and solves the exercises

Chinese translation collaboration workspace for the Stacks Project; AI-assisted candidate translations, human review, and reproducible LaTeX builds.

AI-written Stacks-style mathematical drafts from classical algebraic geometry: statements, proofs, corrections, and source comparisons for readers to inspect and reuse. Unofficial; not endorsed by the Stacks Project.