[Imprint]
[Data Privacy Statement]
[E-Mail]
Back to
main index
. View
the specification
. View
theorem base summary
, View
theorem base listing
, the
used properties by spec
, the
dependency list
, the
symbol table
,
Theorem base summary for Specification list-prefixn
Status:
Proved!
Axioms: 3, User Theorems: 36 (Proved: 36, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 138, Interactions: 25
dropn(0,0)
in-prefixn-pos-smaller(6,2)
prefix-prefixn-same(2,0)
prefixn-butlast(6,2)
prefixn-in(2,0)
prefixn-notin(2,0)
prefixn-split-sublist(9,4)
dropn-0(1,0)
in-prefixn-pos-smaller0(6,3)
prefixn(0,0)
prefixn-empty(1,0)
prefixn-le-size(1,0)
prefixn-prefixn(19,1)
slice(0,0)
dropn-empty(1,0)
in-prefixn-samepos(2,0)
prefixn-0(1,0)
prefixn-eq-append(3,1)
prefixn-len-le-n(2,0)
prefixn-single-1(1,0)
slice-range0(1,0)
dropn-first(8,0)
prefix-append-one-sizeeq(4,2)
prefixn-append-left(1,0)
prefixn-full(1,0)
prefixn-len-n(1,0)
prefixn-size-eq(2,0)
in-prefixn-at-smaller(2,0)
prefix-prefixn-exact(2,1)
prefixn-append-prefix(10,4)
prefixn-full-eq(2,1)
prefixn-neq-empty-plusone(2,0)
prefixn-size-prefixn(6,0)
in-prefixn-in-shorter-prefix(8,1)
prefix-prefixn-not-shorter(2,1)
prefixn-append-slice(8,0)
prefixn-fulln(1,0)
prefixn-nodups(2,0)
prefixn-split-dropn(10,2)