AutEng Docs, AI-Native Workspace for Technical Documentation

# AutEng > AI-native technical documentation platform. Create and share documents with Markdown, Mermaid diagrams, KaTeX math equations, and AI-assisted generation. AutEng is a documentation platform for engineers, scientists, and technical writers. It supports rich Markdown editing with live preview, Mermaid diagram rendering, KaTeX mathematical notation, AI-powered content generation, CAS (Computer Algebra System) verification of mathematical proofs, and Lean 4 formal theorem proving integration. ## Documentation - [Documentation Best Practices — Markdown + Mermaid + KaTeX](https://auteng.ai/docs/guides/best-practices/documentation-best-practices.md): Comprehensive guide to creating exceptional technical documentation using Markdown, Mermaid diagrams, and KaTeX equations together - [Features](https://auteng.ai/docs/guides/features.md): Explore all the powerful features AutEng offers for technical documentation - [Getting Started](https://auteng.ai/docs/guides/getting-started.md): Learn the basics of AutEng and create your first document - [Using KaTeX in AutEng](https://auteng.ai/docs/guides/katex-guide.md): Practical guide to integrating mathematical equations in your documentation - [Markdown, Mermaid & KaTeX Syntax](https://auteng.ai/docs/guides/markdown-syntax.md): Complete syntax reference for Markdown, Mermaid diagrams, and KaTeX math equations - [Markdown Tables — Complete Guide with Examples](https://auteng.ai/docs/guides/markdown-tables.md): Learn how to create and format tables in Markdown with alignment, styling, and advanced techniques for technical documentation - [Calculus in Technical Documentation — Derivatives and Integrals](https://auteng.ai/docs/math/calculus/calculus-technical-docs.md): Master calculus notation in technical docs with KaTeX. Learn derivatives, integrals, limits, and differential equations for software, physics, and engineering documentation. - [Set Theory and Logic Notation — Mathematical Foundations](https://auteng.