文件名称：drift:用于检查，验证，存档和研究数学证明的工具
文件大小：37KB
文件格式：ZIP
更新时间：2024-06-05 15:16:13
JavaScript
用于检查，验证，存档和研究数学证明的工具。
【文件预览】：
drift-master
----.travis.yml(70B)
----theorems()
--------theorems.txt(4KB)
--------verified.txt(553B)
--------expr.js(2KB)
----index.js(51B)
----frontend()
--------index.htm(306B)
--------init.js(2KB)
--------projects()
--------style.css(301B)
--------projects.txt(4B)
----package.json(708B)
----readme.md(122B)
----test()
--------index.js(165B)
----system()
--------theorems()
--------core()
--------funcs()
--------util()
--------provers()
----src()
--------index.js(9KB)
--------debug.js(362B)
--------ctors.js(5KB)
--------database.js(5KB)
--------tokenizer.js(4KB)
--------info.js(275B)
--------ident2sym.js(443B)
--------parser.js(7KB)
----.npmignore(76B)
----license.md(1KB)
----.gitignore(76B)
----local-test()
--------index.js(35B)
--------main.js(337B)