[Imprint]
[Data Privacy Statement]
[E-Mail]
View
long theorem info
. View
the proof
. 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 Sortedchars
⊦ sortedchars = " !#$%&()*+-./0123456789:<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[]^_abcdefghijklmnopqrstuvwxyz|~"
Type: An axiom
Validity: The proof is valid.
Features:
Comment: is 58, semicolon is 59 (missing), < is 60. A is 65, a is 97. Some missing chars: Space 32, backslash 92, semicolon 59, all quotes 34, 39, 96.
Used by:
insorted
,
pos-0
,
pos-1
,
pos-2
,
pos-a
,
pos-b
,
pos-c
,
pos-capital-a
,
pos-capital-b
,
pos-capital-c
,
pos-capital-z
,
pos-z
,
sortedchars-divided
,
Used by units in proved state:
Proof exists?: No