一键安装此插件：
42plugin install cameronfreer/lean4-skills/check-axioms42plugin install cameronfreer/lean4-skills/check-axioms插件介绍
验证 Lean 4 证明的标准公理使用情况。 验证 Lean 4 证明仅使用标准 mathlib 公理。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/check-axioms42plugin install cameronfreer/lean4-skills/check-axioms验证 Lean 4 证明的标准公理使用情况。 验证 Lean 4 证明仅使用标准 mathlib 公理。