Automatic-Theorem-Prover-master_自动定理证明_
版权申诉
5星 · 超过95%的资源 66 浏览量
2021-09-29
17:55:54
上传
评论
收藏 20KB ZIP 举报 
Automatic-Theorem-Prover-master.zip （13个子文件） 
Automatic-Theorem-Prover-master 
HelpMessage.py 3KB .vscode settings.json 58B Parser.py 3KB KBUtil.py 14KB FolBC.py 7KB README.md 2KB __pycache__ Unifier.cpython-37.pyc 2KB Parser.cpython-37.pyc 1KB FolBC.cpython-37.pyc 4KB Unifier.py 3KB .gitignore 714B AutoProver.py 5KB PrintProof.py 1KB资源评论
weixin_548409382022-02-20用户下载后在一定时间内未进行评价，系统默认好评。
