relation-algebra:已归档，因为已在上游进行维护
需积分: 5 16 浏览量
2021-05-14
18:00:09
上传
评论
收藏 213KB ZIP 举报
relation-algebra-master.zip （71个子文件） 
relation-algebra-master 
glang.v 5KB paterson.v 19KB positives.v 2KB mrewrite.mllib 9B bmx.v 4KB untyping.v 26KB rel.v 5KB common.v 4KB lset.v 5KB imp.v 9KB ka_completeness.v 16KB boolean.v 4KB monoid.v 21KB sups.v 8KB description 636B relalg.v 19KB rmx.v 11KB comparisons.v 8KB lattice.v 21KB lang.v 7KB sums.v 2KB level.v 6KB denum.v 2KB kat_dec.mli 1KB matrix.v 22KB ugregex.v 8KB ugregex_dec.v 14KB
index.html 32KB move.v 4KB CHANGELOG 911B LICENSE 7KB kat_tac.v 9KB prop.v 2KB kleene.v 7KB traces.v 22KB mrewrite.ml4 4KB kat_dec.ml 5KB kat_reification.ml4 17KB gregex.v 8KB pair.v 4KB powerfix.v 3KB factors.v 3KB dfa.v 6KB ra_fold.ml4 7KB rewriting.v 6KB normalisation.v 25KB matrix_ext.v 9KB ordinal.v 13KB compiler_opts.v 6KB _CoqProject 913B kat_untyping.v 3KB nfa.v 7KB kat_completeness.v 34KB Makefile 336B ra_common.ml 13KB atoms.v 7KB ra_reification.ml4 8KB README.md 3KB syntax.v 15KB ra_reification.mllib 15B COPYING.LESSER 7KB kat_reification.v 9KB COPYING 7KB lsyntax.v 6KB
ra.png 17KB kat_reification.mllib 24B deps.sh 546B ra_fold.mllib 8B kat.v 4KB regex.v 16KB ra_common.mllib 10B
评论0
最新资源