proof-assistant:在线平台使Logic学生能够编写，验证和存储System L风格的自然演绎证明以及实时证明检查
需积分: 10 147 浏览量
2021-05-17
18:53:52
上传
评论
收藏 1018KB ZIP 举报
proof-assistant:在线平台使Logic学生能够编写，验证和存储System L风格的自然演绎证明以及实时证明检查 （126个子文件） 
.bowerrc 63B style.css 3KB proof-line.css 559B .editorconfig 173B cmunui.eot 103KB FOL.g4 961B .gitignore 53B favicon.ico 2KB proover.jade 7KB about.jade 5KB dashboard.jade 4KB login.jade 2KB layout.jade 2KB error.jade 84B parserBundle.js 165KB ParserATNSimulator.js 72KB ErrorStrategy.js 30KB ATNDeserializer.js 26KB LexerATNSimulator.js 24KB PredictionMode.js 23KB PredictionContext.js 23KB Parser.js 22KB LexerAction.js 13KB FOLParser.js 12KB SemanticContext.js 12KB BufferedTokenStream.js 12KB Transition.js 11KB Lexer.js 11KB ATNState.js 10KB LL1Analyzer.js 9KB ATNConfigSet.js 9KB Errors.js 8KB index.js 8KB ParserRuleContext.js 7KB ATNConfig.js 7KB LexerActionExecutor.js 7KB IntervalSet.js 7KB ProofLine.js 7KB ATN.js 7KB DFAState.js 6KB Tree.js 6KB DFA.js 6KB Recognizer.js 6KB Token.js 6KB Proof.js 6KB DiagnosticErrorListener.js 5KB RuleContext.js 5KB Trees.js 5KB proover_addLine.js 5KB jquery.toaster.js 4KB ErrorListener.js 4KB CommonTokenStream.js 4KB FOLLexer.js 4KB parser.js 4KB InputStream.js 4KB Utils.js 4KB DFASerializer.js 4KB DisjunctionElimRule.js 4KB CommonTokenFactory.js 4KB ATNSimulator.js 4KB dependencyVerifier.js 3KB proover_util.js 3KB util.js 3KB ImplicationIntroRule.js 3KB ReductioAdAbsurdumRule.js 2KB app.js 2KB NegationIntroRule.js 2KB ATNDeserializationOptions.js 2KB FileStream.js 2KB ConjunctionElimRule.js 2KB proover_editLine.js 2KB ImplicationElimRule.js 2KB dashboard_delProof.js 2KB ruleUtil.js 2KB ConjunctionIntroRule.js 2KB DisjunctionIntroRule.js 2KB ATNType.js 2KB NegationElimRule.js 2KB DoubleNegationIntroRule.js 1KB DoubleNegationElimRule.js 1KB proover_save.js 1KB gulpfile.js 1KB rules.js 1KB FOLListener.js 1KB dashboard_util.js 936B dashboard_newProof.js 932B commandsToUnicode.js 924B index.js 805B ProofGraph.js 754B index.js 622B FOLErrorListener.js 599B AssumptionRule.js 531B Proof.js 403B config.js 388B FOLTreeWalker.js 341B index.js 335B proover.js 318B User.js 276B index.js 254B index.js 241B共 126 条
- 1
- 2
资源评论
易烊千玺的小朋友
- 粉丝: 33
- 资源: 4516
最新资源
- 以简单、易用、高性能为目标、开源的时序数据库，支持Linux及Windows， Time Series Database.zip
- python-leetcode面试题解之第198题打家劫舍-题解.zip
- python-leetcode面试题解之第191题位1的个数-题解.zip
- python-leetcode面试题解之第186题反转字符串中的单词II-题解.zip
- 一个基于python的web后端高性能开发框架，下载可用
- python-leetcode面试题解之第179题最大数-题解.zip
- python-leetcode面试题解之第170题两数之和III数据结构设计-题解.zip
- python-leetcode面试题解之第168题Excel表列名称-题解.zip
- python-leetcode面试题解之第167题两数之和II输入有序数组-题解.zip
- python-leetcode面试题解之第166题分数到小数-题解.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
