[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 string2list
Status:
Proved!
Axioms: 4, User Theorems: 14 (Proved: 14, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 159, Interactions: 42
at-eq(2,1)
l2s-length(1,1)
pos-at(12,4)
s2l-length(1,1)
sortedchars-no-dups(122,26)
inject-s2l(5,3)
l2s-one(1,1)
s2l-app(3,1)
s2l-one(1,1)
string2string(2,1)
l2s-app(3,1)
l2s-rec(0,0)
s2l-empty(0,0)
s2l-rec(0,0)
l2s-empty(0,0)
length-at(1,0)
s2l-empty-01(2,1)
s2l-rec-01(3,0)