AutEng Docs

About AutEng Docs

AutEng Docs is an AI-native workspace designed for technical teams to create, manage, and verify professional documentation for software engineering, mathematics, and data science. It provides a rich set of features including Markdown editing, Mermaid diagrams, KaTeX math, interactive code examples, and web research capabilities. Unique in its field, AutEng Docs supports mathematical proof verification via CAS and Lean 4, making it ideal for teams needing both clear technical writing and rigorous formal verification.