Scallina：Scala程序的基于Coq的综合，按构造正确
需积分: 9 72 浏览量
2021-02-05
23:27:30
上传
评论
收藏 14.78MB ZIP 举报
Scallina：Scala程序的基于Coq的综合，按构造正确 （138个子文件） 
_CoqProject 195B _CoqProject 77B Makefile.conf 3KB .gitignore 1KB
scallina-assembly-0.7.jar 10.62MB scallina-standard-library-assembly-0.7.jar 5.03MB LICENSE 34KB Makefile 26KB README.md 2KB README.md 1KB README.md 1KB README.md 1KB README.md 1KB README.md 669B build.properties 18B build.sbt 506B plugins.sbt 140B assembly.sbt 59B ScalaOfCoqCurrifiedTest.scala 106KB CoqParserTest.scala 56KB ScalaOfCoq.scala 40KB ScalaOfCoqUncurrifiedTest.scala 36KB CoqTermParserTest.scala 26KB CoqParser.scala 19KB CoqAST.scala 18KB CoqTermParserFileBasedTest.scala 16KB PeanoNat.scala 8KB LexerPrecendenceTest.scala 7KB CoqLexer.scala 6KB CoqInitNat.scala 5KB ScalaOfCoqCurrifiedFileBasedTest.scala 4KB Main.scala 4KB CurryingStrategy.scala 2KB CustomMatchers.scala 2KB RedBlackTreeVFA.scala 2KB Redblack.scala 2KB MyForest.scala 2KB ListQueueParametricity.scala 2KB ListQueueParam.scala 2KB AmortizedQueue.scala 2KB RecordPreprocessor.scala 2KB QueueRecordAlternateSyntax.scala 2KB FixpointCoqLexerTest.scala 2KB QueueRecord.scala 1KB QueueRecordAnotherAlternateSyntax.scala 1KB InductiveCoqLexerTest.scala 1KB RandomAccessList.scala 1KB MoreLists.scala 1KB BinarySearchTree.scala 1KB DefinitionCoqLexerTest.scala 1KB FutureMergeSort.scala 1KB FutureMergeSort.scala 1KB Bools.scala 1008B FunctionalMaps.scala 768B InductiveDefinitionAlternateSyntax.scala 763B MultiSet.scala 762B SelectionVFA.scala 752B Selection.scala 749B InductiveDefinition.scala 748B TestUtils.scala 696B MoreFutures.scala 644B DOT_Example.scala 616B InductiveDefinitionWithZ.scala 540B MultisetVFA.scala 538B MergeWithFunction.scala 495B InsertionSort.scala 458B TestListFunctions.scala 444B MapsVFA.scala 418B LengthTailRecForLeon.scala 317B LengthTailRecWithFunction.scala 312B SimpleMapImplementation.scala 310B LengthTailRec.scala 300B CoqTermParser.scala 205B Pairs.scala 194B update-test-dev-resources.sh 366B generate-scala-code.sh 118B generate-scala-code.sh 109B compile-scala-code.sh 107B generate-scala-code.sh 107B compile-scala-code.sh 102B compile-scala-code.sh 101B
How to install the paramcoq plugin.txt 698B RedblackProof.v 19KB Perm.v 17KB Extract.v 11KB SelectionProof.v 7KB CoqInitNat.v 5KB ListQueueProof.v 3KB RedBlackTreeVFA.v 3KB ListQueueParam.v 3KB ListQueueParametricity.v 3KB Redblack.v 3KB FutureMergeSort.v 1KB FutureMergeSort.v 1KB QueueRecord.v 1KB QueueRecordAlternateSyntax.v 1KB QueueRecordAnotherAlternateSyntax.v 1KB AmortizedQueue.v 1KB FunctionalMaps.v 1KB Selection.v 1KB共 138 条
- 1
- 2
资源评论
FedAI联邦学习
- 粉丝: 21
- 资源: 4567
