Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
proofGraph  |
|
| | ||||
|
| | ||||
▪
mode is (equation boxes) or (colored discs).
"Labelled"
"Unlabelled"
▪
With the default , a custom Z3-based layered layout engine places the vertices and routes the edges; this loads the paclet on first use.
"Layout"Automatic
WolframInstitute`Z3Link`
▪
Giving a specification (e.g. ) uses Wolfram's own layout instead, with the same vertex shapes and edge colors.
"Layout"
GraphLayout
"LayeredDigraphEmbedding"
▪
The full set of shared render-style options is accepted.
Examples
(2)
Basic Examples
(1)
Render the unlabelled proof graph for the binary-incrementer machine 453:
In[1]:=
 | proofGraph |
Out[1]=
Options
(1)
 |
|
""