a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/isabelle-hol-interface
与 Isabelle/HOL 接口以做经典数学形式化。
全部 skill