Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
MultiwayBothPanel  |
|
| | ||||
▪
The left cone grows from the base statement (P₀) and the right from the step statement (Pₘ ⟹ Pₘ₊₁); the caption states the induction schema that combines them.
▪
Options include (default 6), (default 8), ( or the proof's axioms), , , , , and .
"BaseSteps"
"StepSteps"
"Axioms"
"Raw"
"WellFormedOnly"
"Oriented"
"FadeOpacity"
"MaxStates"
"Height"
Examples
(1)
Basic Examples
(1)
The base and step cones for the binary-incrementer machine 453:
In[1]:=
 | MultiwayBothPanel |
Out[1]=
 |
|
""