lean-setup

Use when a coding agent needs to install or verify Lean 4, elan, lake, create or reuse a mathlib workspace, configure a shared Lean environment, or run Lean readiness checks before formalization.

Independent GitHub snapshot · Automated classification · Original documentation governs