matching-logic-proof-checker
需积分: 9 142 浏览量
2021-04-06
02:57:42
上传
评论
收藏 1.76MB ZIP 举报
matching-logic-proof-checker （157个子文件） 
pgm-2.arith 46B pgm-1.arith 17B trivial.conditional-function 11B trivial.dv 13B pgm.fib 7B trivial.foo 29B trivial.foo-function 12B .gitignore 2KB pgm-2.imp 40B pgm-1.imp 18B trivial.inj-test 11B imp.k 3KB lambda.k 1KB fib.k 686B arith.k 507B nat.k 362B conditional-function.k 290B inj-test.k 207B foo-function.k 191B foo.k 165B map-test.k 154B nat-dv.k 152B dv.k 128B arith.k.kore 696KB inj-test.k.kore 688KB conditional-function.k.kore 685KB foo.k.kore 684KB foo-function.k.kore 683KB dv.k.kore 681KB nat-dv.k.kore 168KB fib.k.kore 141KB nat.k.kore 94KB snapshot_6.kore 743B snapshot_7.kore 743B snapshot_3.kore 649B snapshot_2.kore 649B snapshot_1.kore 649B snapshot_8.kore 642B snapshot_4.kore 548B snapshot_1.kore 531B snapshot_0.kore 495B snapshot_0.kore 484B snapshot_9.kore 476B snapshot_5.kore 476B snapshot_1.kore 434B snapshot_0.kore 429B snapshot_2.kore 382B snapshot_3.kore 362B snapshot_0.kore 347B snapshot_1.kore 346B snapshot_0.kore 345B snapshot_0.kore 330B snapshot_1.kore 311B snapshot_0.kore 310B snapshot_6.kore 309B snapshot_3.kore 309B snapshot_4.kore 309B snapshot_2.kore 309B snapshot_1.kore 309B snapshot_8.kore 309B snapshot_0.kore 309B snapshot_10.kore 309B snapshot_9.kore 309B snapshot_5.kore 309B snapshot_7.kore 309B snapshot_1.kore 279B snapshot_1.kore 272B snapshot_2.kore 263B snapshot_1.kore 261B snapshot_0.kore 245B snapshot_4.kore 213B pgm-2.lambda 235B pgm-3.lambda 227B pgm-1.lambda 56B pgm-ac.map-test 35B pgm-no-aci.map-test 27B pgm-comm.map-test 27B pgm-id.map-test 19B README.md 3KB README.md 2KB kore-propositional.mm 34.33MB matching-logic-prelude-lemmas.mm 13.2MB kore-lemmas.mm 12.16MB matching-logic-predicate.mm 2.8MB matching-logic-membership.mm 1.91MB proof.mm 1.81MB kore-sorting.mm 1.41MB proof.mm 1.2MB proof.mm 1.14MB kore-substitution.mm 1.06MB matching-logic-propositional.mm 790KB proof.mm 727KB proof.mm 692KB proof.mm 668KB proof.mm 633KB proof.mm 555KB matching-logic-disjointness.mm 240KB matching-logic.mm 12KB matching-logic-250-loc.mm 11KB matching-logic-prelude.mm 9KB共 157 条
- 1
- 2
资源评论
