Naproche-SAD-master.zip （94个子文件） 
Naproche-SAD-master 
.gitignore 47B app Main.hs 14KB Setup.hs 46B Isabelle file_format.scala 2KB ROOT 595B src Isabelle Value.hs 1KB Pretty.hs 4KB Term.hs 793B UUID.hs 966B YXML.hs 3KB Byte_Message.hs 5KB Completion.hs 2KB Properties.hs 902B Symbol.hs 981B File.hs 869B XML Decode.hs 2KB Encode.hs 2KB Naproche.hs 1KB Library.hs 3KB Buffer.hs 475B XML.hs 2KB Server.hs 2KB Standard_Thread.hs 4KB Term_XML Decode.hs 1KB Encode.hs 1KB Markup.hs 9KB etc settings 716B options 869B Main Naproche.thy 2KB naproche.ML 7KB Build.thy 677B Test Test.thy 1KB src SAD Export TPTP.hs 2KB DFG.hs 3KB Prover.hs 4KB Base.hs 3KB Parser Token.hs 3KB Primitives.hs 3KB Error.hs 5KB Base.hs 5KB Combinators.hs 8KB Prove Normalize.hs 8KB Unify.hs 2KB MESON.hs 6KB Import Reader.hs 4KB ForTheL Pattern.hs 8KB Structure.hs 12KB Statement.hs 15KB Reports.hs 4KB Base.hs 11KB Instruction.hs 3KB Extension.hs 5KB Data Instr.hs 5KB Formula.hs 259B Evaluation.hs 326B Structures DisTree.hs 5KB Tag.hs 620B Rules.hs 461B Text Context.hs 1KB Decl.hs 573B Block.hs 6KB Formula Kit.hs 12KB Show.hs 7KB Base.hs 10KB Definition.hs 944B Core Reduction.hs 7KB SourcePos.hs 3KB Message.hs 8KB Thesis.hs 12KB Check.hs 8KB Rewrite.hs 9KB Base.hs 9KB ProofTask.hs 6KB Verify.hs 16KB Extract.hs 8KB Reason.hs 15KB etc settings 139B provers.dat 640B LICENSE 34KB examples fuerst.ftl 6KB Maximum_principle.ftl 3KB chinese.ftl 6KB Koenigs_lemma.ftl 3KB powerset.ftl 855B regular_successor.ftl 3KB prime_no_square.ftl 1KB newman.ftl 2KB tarski.ftl 3KB README.md 3KB init.opt 351B TODO.md 1KB package.yaml 836B test Spec.hs 63B stack.yaml 2KB资源评论
安幕
- 粉丝: 29
- 资源: 4785
最新资源
- redis可视化工具：RedisDesktopManager
- 众数问题-使用python的scipy库解决众数问题.md
- 众数问题-使用python的collections库解决众数问题.md
- 众数问题-使用纯python代码解决众数问题.md
- asm-西电微机原理实验
- 第三阶段模块一-数字排序
- 解决ubuntu23.10安装向日葵失败，使用apt install -f无法解决依赖问题
- Screenshot_20241117_024114_com.huawei.browser.jpg
- .turing.dat
- shopex升级补丁只针对 485.78660版本升级至485.80603版本 其它版本的请勿使用！
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
