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