[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,
Used simplifier rules/spec theorems by specification
Used from specification nat-basic
Used from specification nat
Used from specification int-abs
- int-abs/forward-le-01
is used by
kadane-correct,
- int-abs/forward-le-02
is used by
kadane-correct,
- int-abs/forward-le-05
is used by
kadane-correct,
- int-abs/forward-lele
is used by
kadane-correct,
- int-abs/forward-lels
is used by
kadane-correct,
- int-abs/forward-lsle
is used by
kadane-correct,
- int-abs/lels
is used by
kadane-correct,
- int-abs/lep-02
is used by
kadane-correct,
- int-abs/ler
is used by
kadane-correct,
- int-abs/zero-gels-01
is used by
kadane-correct,
- int-abs/zero-gels-04
is used by
kadane-correct,
Used from specification array-copy
Used from specification int-basic2