鲁道夫：卡尔纳普的真相树小工具
需积分: 9 180 浏览量
2021-02-09
07:13:00
上传
评论
收藏 3.97MB ZIP 举报
Rudolf-master.zip （52个子文件） 
Rudolf-master 
.gitignore 70B package.json 2KB src components PremiseInput.tsx 775B NodeView.tsx 4KB CustomTooltip.tsx 160B RudolfFeedback.tsx 597B Rudolf.tsx 4KB TruthTree.tsx 2KB JSONView.tsx 846B PremisesSelector.tsx 753B FormulaView.tsx 1KB StyledAutosizeInput.tsx 646B NodeMenu.tsx 3KB App.test.tsx 346B react-app-env.d.ts 40B undoableReducer.ts 810B assets FiraLogic 
Carnap.jpg 140KB util carnapAdapter.ts 6KB nodes.ts 3KB carnapAdapter.test.ts 1KB util.ts 275B helpers.ts 549B
logo.svg 3KB examples modusPonens.json 1KB invalidExample.json 3KB completeOpenTree.json 2KB correctExample.json 3KB conjunctionContradiction.json 707B lib.ts 630B RudolfReducer.ts 4KB styles JSONView_styles.ts 522B App_styles.ts 777B feedback_styles.ts 203B NodeView_styles.ts 918B all.css 1KB typings Checker.ts 670B immer-reducer.ts 420B global.d.ts 212B TreeState.ts 960B index.tsx 535B serviceWorker.ts 5KB public all.js 42.1MB
index.html 4KB favicon.ico 140KB manifest.json 286B tsconfig.json 490B .prettierignore 13B .eslintrc.js 2KB README.md 3KB prettier.config.js 143B .eslintignore 20B yarn.lock 537KB资源评论
