描述
Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions…
软件工程 / 诊断修复
axiom-verify
axiom-verify
安装量 124GitHub Stars 136更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
uiapiaxiomverifyandtransformleanproofsusingtheaxleworks