调度引擎 tlc-elpi 返回
项目作者： cpiemontese

项目描述 ：
Interactive theorem proving in ELPI
高级语言：
项目地址: git://github.com/cpiemontese/tlc-elpi.git
创建时间： 2018-07-20T09:21:58Z
项目社区：https://github.com/cpiemontese/tlc-elpi
开源协议：MIT License
下载