package info (click to toggle)
coq-relation-algebra 1.7.11-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 912 kB
  • sloc: ml: 1,452; makefile: 53; sh: 20

Folder: theories

d .. (parent)
- - rw-r--r-- 1,146 all.v
- - rw-r--r-- 6,369 atoms.v
- - rw-r--r-- 3,800 bmx.v
- - rw-r--r-- 3,890 boolean.v
- - rw-r--r-- 3,532 common.v
- - rw-r--r-- 7,588 comparisons.v
- - rw-r--r-- 1,993 denum.v
- - rw-r--r-- 6,085 dfa.v
- - rw-r--r-- 2,688 factors.v
- - rw-r--r-- 14,719 fhrel.v
- - rw-r--r-- 4,118 glang.v
- - rw-r--r-- 8,048 gregex.v
- - rw-r--r-- 16,356 ka_completeness.v
- - rw-r--r-- 3,144 kat.v
- - rw-r--r-- 34,868 kat_completeness.v
- - rw-r--r-- 8,308 kat_reification.v
- - rw-r--r-- 8,583 kat_tac.v
- - rw-r--r-- 2,852 kat_untyping.v
- - rw-r--r-- 7,329 kleene.v
- - rw-r--r-- 6,484 lang.v
- - rw-r--r-- 21,791 lattice.v
- - rw-r--r-- 6,176 level.v
- - rw-r--r-- 4,491 lset.v
- - rw-r--r-- 6,171 lsyntax.v
- - rw-r--r-- 21,951 matrix.v
- - rw-r--r-- 8,419 matrix_ext.v
- - rw-r--r-- 21,466 monoid.v
- - rw-r--r-- 3,237 move.v
- - rw-r--r-- 6,405 nfa.v
- - rw-r--r-- 25,632 normalisation.v
- - rw-r--r-- 12,917 ordinal.v
- - rw-r--r-- 2,761 pair.v
- - rw-r--r-- 1,913 positives.v
- - rw-r--r-- 3,020 powerfix.v
- - rw-r--r-- 1,186 prop.v
- - rw-r--r-- 15,977 regex.v
- - rw-r--r-- 6,182 rel.v
- - rw-r--r-- 19,297 relalg.v
- - rw-r--r-- 4,510 rewriting.v
- - rw-r--r-- 1,783 rewriting_aac.v
- - rw-r--r-- 11,202 rmx.v
- - rw-r--r-- 10,045 srel.v
- - rw-r--r-- 1,234 sums.v
- - rw-r--r-- 7,933 sups.v
- - rw-r--r-- 14,585 syntax.v
- - rw-r--r-- 22,457 traces.v
- - rw-r--r-- 8,220 ugregex.v
- - rw-r--r-- 14,339 ugregex_dec.v
- - rw-r--r-- 26,210 untyping.v