[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 array-indices
Status:
Proved!
Axioms: 14, User Theorems: 24 (Proved: 24, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 122, Interactions: 48
filterset-def(0,0)
map-at(0,0)
map-ifn-size(2,2)
map-set-empty(2,1)
mapindices-rec(0,0)
valid-indices-indiceswhere-h(3,2)
valid-indices-simp(1,0)
indices-where-in(2,2)
map-if-at(3,2)
map-indices-append(4,1)
map-size(0,0)
mapindices-size(0,0)
valid-indices-indiceswhere-h-strong(6,1)
valid-indices-write(1,0)
indices-where-in-h(13,1)
map-if-size(2,2)
map-indices-at(14,2)
mapif-def(0,0)
mapset-def(0,0)
valid-indices-nodups(3,2)
indiceswhere(0,0)
map-ifn-0(3,2)
map-indices-empty(1,1)
mapifn-def(0,0)
valid-indices(0,0)
valid-indices-nodups-h(12,5)
indiceswhere-base(0,0)
map-ifn-at(5,3)
map-indices-one(3,3)
mapindices-at(0,0)
valid-indices-append(16,6)
valid-indices-nonrec(16,3)
indiceswhere-rec(0,0)
map-ifn-full(3,3)
map-indices-size(4,2)
mapindices-base(0,0)
valid-indices-indiceswhere(1,1)
valid-indices-one(2,1)