Natural-Deduction-Proof-Assistant:用于CSI5110术语项目JavaScript自然演绎工具
需积分: 32 7 浏览量
2021-05-24
17:07:25
上传
评论 1
收藏 114KB ZIP 举报
Natural-Deduction-Proof-Assistant-master.zip （12个子文件） 
Natural-Deduction-Proof-Assistant-master 
index.html 8KB
main.js 13KB bootstrap.min.css 111KB img 
2.1.png 29KB 1.1.png 18KB 1.png 19KB 2.png 27KB logic.js 10KB tool.js 3KB README.md 265B app_style.css 2KB style.css 410B资源评论
