Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
$InductiveProofColors  |
|
| | ||||
▪
Keys name roles such as , , , , , , , , and the tape-cell colors / .
"AxiomBackground"
"AxiomFrame"
"TheoremBackground"
"TheoremFrame"
"InductionFill"
"EquationalEdge"
"PathHighlight"
"DefaultEventFill"
"CellBackground"
"CellEdge"
▪
Each value is a pair, so the graphics adapt to the notebook's light or dark theme.
LightDarkSwitched[*light*,*dark*]
▪
Read an entry to reuse the package's styling in your own graphics; every renderer here draws from this one association.
Examples
(2)
Basic Examples
(1)
The available color roles:
In[1]:=
Keys
 | $InductiveProofColors |
Out[1]=
{CellBackground,CellEdge,AxiomHue,AxiomBackground,AxiomText,AxiomFrame,AxiomVertexEdge,TheoremHue,TheoremBackground,TheoremText,TheoremFrame,InductionFill,InductionStroke,InductionVertexEdge,InductionRuleBackground,DefaultEventFill,DefaultEventStroke,CriticalPairEventFill,CriticalPairEventStroke,EquationalEdge,PathHighlight,PathHighlightBackground,TokenEventAxiomHue,IdentityFill,IdentityStroke,IdentityBackground,CalloutConnector,FallbackFrame,StateIndicatorBackground,StateIndicatorFill,StateIndicatorEdge,VariableCellEdge,LabelText}
Scope
(1)
 |
|
""