Skip to content

Guides

Workflow Authoring Documentation

Guides for authoring workflow inputs and reusable automations.

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