Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
SettingsPanel  |
|
| | ||||
▪
A convenience view over with every derived row included, useful for trying out panel options before applying them elsewhere.
▪
Options include , , , , , , , and .
"Steps"
"WellFormedOnly"
"CriticalPairs"
"Oriented"
"Ordering"
"Labeled"
"Height"
"Width"
Examples
(1)
Basic Examples
(1)
The full step-case geodesic for the binary-incrementer machine 453:
In[1]:=
 | SettingsPanel |
Out[1]=
 |
|
 |
|
""