Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间
TypeScript Updated 5 days ago 1 commits 1 stars
flux-agent|Mirror: glenzli/math-workspace (⭐1)
5 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间
Readme
1 stars