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资源评论
安幕
- 粉丝: 33
- 资源: 4785
最新资源
- SA213-TP310HCbN钢采用镍基焊丝ERNiCrCoMo-1焊接工艺探讨 - .pdf
- SA213-T91钢小管低温环境下的焊接工艺 - .pdf
- SA-335P91钢的焊接工艺探讨.pdf
- SA—335P91钢的焊接工艺试验研究.pdf
- SA335P91钢焊接工艺研究.pdf
- SA335P91集箱焊接工艺的改良.pdf
- SA-335P91耐热钢的焊接性试验研究.pdf
- SA387Gr．22C1．2钢在产品中的焊接.pdf
- SA904L钢板焊接工艺探讨.pdf
- SA-724MGrB层板的焊接工艺评定.pdf
- SA516-70+SA240-TP316L不锈复合钢板的焊接.pdf
- SA516 Cr60厚板塔器焊接.pdf
- SA516-Gr70钢焊接接头低温断裂阻力研究.pdf
- SAF2507超级双相不锈钢焊接技术研究现状.pdf
- SAF2205双相不锈钢焊接换热管热处理工艺及设备改进.pdf
- SAF2507与Q235钢异种金属焊接接头组织研究.pdf
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
