[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+array-ops
Status:
Proved!
Axioms: 0, User Theorems: 5 (Proved: 5, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 41, Interactions: 15
rev-mkarray-empty(3,1)
subarray-inc(7,3)
subarray-prefix-fistn(5,2)
rev-subarray-last(11,4)
subarray-inc-offset0(15,5)