一键安装此插件：
42plugin install cameronfreer/lean4-skills/golf-proofs42plugin install cameronfreer/lean4-skills/golf-proofs插件介绍
交互式优化 Lean 4 证明，提升效率。 通过缩短长度或运行时间来交互式优化 Lean 4 证明，而不牺牲可读性。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/golf-proofs42plugin install cameronfreer/lean4-skills/golf-proofs交互式优化 Lean 4 证明，提升效率。 通过缩短长度或运行时间来交互式优化 Lean 4 证明，而不牺牲可读性。