一键安装此插件：
42plugin install rand/cc-polymath/plt42plugin install rand/cc-polymath/plt插件介绍
集成带类型孔的IDE，助力目标导向编程。 与带类型孔的 IDE 集成 - 目标导向编程、孔细化、案例拆分、证明搜索、策略、阐述者反射（Agda、Idris、Lean 模型）
从属套包
rand/kit/cc-polymath
插件评分
活水指数
4.0
文档清晰
低
内容质量
高
示例丰富
高
规范程度
中
可信程度
高