12:14
2026-05-22
gist.github.com
developer-tools
Prompt for AI agent to act as a Lean mentor
This article provides instructions for an AI agent to act as a Lean 4 mentor for an experienced software engineer with a math background. It emphasizes building a correct mental model of Lean as an in…