一键安装此插件：
42plugin install cameronfreer/lean4-skills/repair-goal42plugin install cameronfreer/lean4-skills/repair-goal插件介绍
提供编译器指导，帮助修复特定证明目标。 使用编译器指导反馈修复给定行的特定证明目标。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/repair-goal42plugin install cameronfreer/lean4-skills/repair-goal提供编译器指导，帮助修复特定证明目标。 使用编译器指导反馈修复给定行的特定证明目标。