a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/lean-proof-assistant
与 Lean 4 证明助手接口以做形式化定理验证。
全部 skill