[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 sqns
Status:
Proved!
Axioms: 3, User Theorems: 17 (Proved: 17, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 154, Interactions: 35
valid-peb-in-sqnums(2,0)
valid-sqns(0,0)
valid-sqns-extract-sqn-h(14,4)
valid-sqns-nonempty-extract-max-h(25,0)
valid-sqns-subseteq(3,1)
valid-peb-in-sqnums-h(5,1)
valid-sqns-array-0(1,0)
valid-sqns-extract2-sqn(3,1)
valid-sqns-rec(0,0)
valid-sqns-subseteq-h(20,9)
valid-peb-sqns-nonempty(3,1)
valid-sqns-base(0,0)
valid-sqns-extract2-sqn-h(27,8)
valid-sqns-subarray(2,1)
valid-sqns-write(3,1)
valid-peb-sqns-nonempty0(3,1)
valid-sqns-extract-sqn(3,1)
valid-sqns-nonempty-extract-max(7,1)
valid-sqns-subarray-h(7,2)
valid-sqns-write-h(26,3)