文件名称：therefore开源演绎推理工具
文件大小：5.45MB
文件格式：ZIP
更新时间：2022-08-30 20:18:09
JavaScript开发-其它杂项
therefore：开源演绎推理工具
【文件预览】：
therefore-master
----pages()
--------_document.js(440B)
--------definitions.js(2KB)
--------submit.js(3KB)
--------detail.js(457B)
--------about.js(44B)
--------syllogism.js(1KB)
--------index.js(2KB)
----i18n()
--------translate.js(339B)
--------languageFromRequest.js(125B)
--------translations.js(1KB)
----models()
--------syllogismType.js(875B)
--------.DS_Store(6KB)
--------weakForms.js(122B)
--------premise.js(829B)
--------uniqueId.js(135B)
--------syllogism.js(525B)
----containers()
--------.DS_Store(6KB)
----next.config.js(238B)
----.prettierignore(6B)
----.babelrc(75B)
----lib()
--------md5.js(8KB)
----silogizma.gif(2.72MB)
----components()
--------Forms()
--------Logic()
--------.DS_Store(6KB)
--------UI()
----README.md(725B)
----colors()
--------sequential.js(810B)
----docs()
--------.DS_Store(6KB)
--------silogizma.gif(2.72MB)
----.gitignore(58B)
----package-lock.json(281KB)
----package.json(784B)
----static()
--------base.css(2KB)
--------pattern.png(1KB)
--------logo.png(4KB)