python的自动定理证明包装器
icc.atp的Python项目详细描述
python的自动定理证明包装器
- 此包Python名称:icc.atp
- 目前版本: icc.atp 0.0.2
- 最后维护时间:Oct 22, 2013
- 摘要:Automatic Theorem Proving wrapper for Python
- 安装命令:pip install icc.atp
- 其它:icc.atp 这个Python第三方库的作者没有提供更多的项目描述信息了,2019-11-10 23:44:14。
- 可以返回 PyPI第三方库 首页,查找更多相关Python包程序。