math-o-matic:网络上的计算机演绎系统
需积分: 5 178 浏览量
2021-03-29
00:12:52
上传
评论
收藏 221KB ZIP 举报
math-o-matic-master.zip （86个子文件） 
math-o-matic-master 
.gitignore 1KB package.json 2KB .mocharc.yml 101B package-lock.json 247KB src Unparser.ts 9KB Scope.ts 7KB exprs Fun.ts 4KB Variable.ts 3KB Reduction.ts 12KB README.md 942B ObjectFun.ts 3KB With.ts 2KB $Variable.ts 2KB Parameter.ts 742B Expr.ts 6KB Tee.ts 4KB Nameable.ts 137B types.ts 5KB Schema.ts 4KB Funcall.ts 8KB StackTrace.ts 903B Program.ts 5KB grammar.pegjs 8KB PegInterface.ts 12KB ProofType.ts 1KB PegInterfaceDefinitions.ts 3KB UniversalCounter.ts 108B ProofExplorer.ts 5KB ExecutionContext.ts 362B Counter.ts 202B webpack.config.js 936B bin reformat.ts 643B .travis.yml 633B .nycrc.yml 132B CONTRIBUTING.md 2KB CODE_OF_CONDUCT.md 3KB LICENSE 1KB CHANGELOG.md 1KB tsconfig.json 218B .github ISSUE_TEMPLATE bug_report.md 536B feature_request.md 604B pull_request_template.md 61B README.ko.md 3KB tools sublime build.js 476B math-o-matic.sublime-build 148B README.md 190B math-o-matic.tmPreferences 744B math-o-matic.sublime-syntax 2KB vscode package.json 608B syntaxes math-o-matic.tmLanguage.json 810B .vscodeignore 38B README.md 323B .vscode launch.json 465B language-configuration.json 688B README.md 3KB web tt.js 4KB style.css 6KB console.js 4KB search-bar.js 2KB
index.html 13KB get-search-results.js 947B tt.html 5KB generate-html.js 6KB math integer.math 25KB algebra.math 6KB set.math 48KB propositional.math 10KB natural.math 60KB predicate.math 13KB function.math 28KB relation.math 26KB docs package.json 570B package-lock.json 44KB src background.m42kup 14KB code.m42kup 6KB current-axiomatic-system counterparts.m42kup 2KB dev precedence.m42kup 1KB syntax import.m42kup 77B assets 
fe.svg 7KB te.svg 9KB fi.svg 8KB ti.svg 9KB m42kup-builder.config.js 795B test test.ts 3KB README.md 306B .editorconfig 67B资源评论
