[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: 148, Interactions: 51
filterset-def(0,0)
map-at(0,0)
map-ifn-size(3,3)
map-set-empty(2,1)
mapindices-rec(0,0)
valid-indices-indiceswhere-h(4,2)
valid-indices-simp(2,0)
indices-where-in(2,2)
map-if-at(5,3)
map-indices-append(8,0)
map-size(0,0)
mapindices-size(0,0)
valid-indices-indiceswhere-h-strong(7,1)
valid-indices-write(1,0)
indices-where-in-h(14,1)
map-if-size(3,3)
map-indices-at(22,2)
mapif-def(0,0)
mapset-def(0,0)
valid-indices-nodups(4,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(13,5)
indiceswhere-base(0,0)
map-ifn-at(7,4)
map-indices-one(4,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(5,2)
mapindices-base(0,0)
valid-indices-indiceswhere(1,1)
valid-indices-one(2,1)