a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/theorem-prover-interface
与交互式定理证明器接口以做机械化验证。
全部 skill