# Workflow Authoring Documentation

Guides for authoring workflow inputs and reusable automations.

Canonical URL: https://www.agentpmt.com/docs/workflow-authoring

## [Write Lean Input For Code Generation](https://www.agentpmt.com/docs/workflow-authoring/write-lean-input-for-code-generation)

Learn exactly what Lean source the Proof Code Compiler accepts, download a working example zip, and structure your entry symbol correctly.

Markdown: https://www.agentpmt.com/docs/workflow-authoring/write-lean-input-for-code-generation.md