Natural-Deduction-Proof-Assistant:用于CSI5110术语项目JavaScript自然演绎工具-源码

[{"title":"（ 12 个子文件 114KB ） Natural-Deduction-Proof-Assistant:用于CSI5110术语项目JavaScript自然演绎工具-源码","children":[{"title":"Natural-Deduction-Proof-Assistant-master","children":[{"title":"index.html <span style='color:#111;'> 8.25KB </span>","children":null,"spread":false},{"title":"main.js <span style='color:#111;'> 13.07KB </span>","children":null,"spread":false},{"title":"bootstrap.min.css <span style='color:#111;'> 110.84KB </span>","children":null,"spread":false},{"title":"img","children":[{"title":"2.1.png <span style='color:#111;'> 29.30KB </span>","children":null,"spread":false},{"title":"1.1.png <span style='color:#111;'> 17.66KB </span>","children":null,"spread":false},{"title":"1.png <span style='color:#111;'> 18.69KB </span>","children":null,"spread":false},{"title":"2.png <span style='color:#111;'> 26.98KB </span>","children":null,"spread":false}],"spread":true},{"title":"logic.js <span style='color:#111;'> 9.68KB </span>","children":null,"spread":false},{"title":"tool.js <span style='color:#111;'> 2.51KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 265B </span>","children":null,"spread":false},{"title":"app_style.css <span style='color:#111;'> 1.97KB </span>","children":null,"spread":false},{"title":"style.css <span style='color:#111;'> 410B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]