Guides & reference

MathCode documentation

From installation to your first Lean proof. Learn the terminal, browser interface and project extensions.

New to MathCode?

Choose an install mode, connect your provider and start a session.

Installation

Requirements, install modes, upgrades and troubleshooting.

CLI, WebUI, goals, sessions and scheduled tasks.

Proof verification, theorem libraries and Obsidian.

Providers, models, project skills and plugins.