stacks-project

Here are 6 public repositories matching this topic...

JackyJiang08 / AI4Algebra

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.

theorem-proving knowledge-graph formal-verification sagemath automated-reasoning stacks-project mathlib lean4 llm-agents ai-for-math

Updated Aug 16, 2026
Lean

mqzry / stacks-bootstrap

Star

Bootstrapping the stacks project

bootstrap docker php tex apache stacks-project

Updated Jun 12, 2017
Python

greybax / stack-data

Star

Simple stack imlementation on ES6

Updated Apr 19, 2019
JavaScript

KokunoYumeto / mathematics-commons-stacks

Sponsor

Star

Independent overlay, translation, and release sidecar for AI-produced Stacks-derived editions

translation ai mathematics algebraic-geometry gfdl stacks-project

Updated Aug 12, 2026

tamnd / bourbaki-solver

Star

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

markdown golang ocr latex translation algebra mathematics agents stacks-project pdf-extraction bourbaki llm

Updated Aug 19, 2026
Go

tamnd / bourbaki

Star

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

markdown ocr latex translation algebra corpus mathematics stacks-project bourbaki elements-of-mathematics

Updated Aug 19, 2026
Shell

Improve this page

Add a description, image, and links to the stacks-project topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the stacks-project topic, visit your repo's landing page and select "manage topics."

Learn more