一键安装此插件：
42plugin install rand/cc-polymath/plt
集成带类型孔的IDE，助力目标导向编程。 与带类型孔的 IDE 集成 - 目标导向编程、孔细化、案例拆分、证明搜索、策略、阐述者反射（Agda、Idris、Lean 模型）
从属套包
rand/kit/cc-polymath
