eclipse TPTP 资源 包
eclipsetptpTHEACCOMPANYINGPROGRAMISPROVIDEDUNDERTHETERMSOFTHISECLIPSEPUBLICLICENSE("AGREEMENT").ANYUSE,REPRODUCTIONORDISTRIBUTIONOFTHEPROGRAMCONSTITUTESRECIPIENT'SACCEPTANCEOFTHISAGREEMENT.
下载地址
用户评论
可以下载，但用link的方式一直没有成功，最后选择直接在eclipse里面下载的。