Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`LeanLink`
ImportDOT  |
▪
is the reader behind and : the Lean subprocess emits a DOT graph, and turns it into a styled .
▪
It expects the Graphviz convention of quoted node and edge names, one statement per line: for nodes and for edges. Node // and edge /// attributes are honored.
"name"[label=...,fillcolor=...];
"src""tgt"[color=...];
fillcolor
label
type
color
style
penwidth
label
▪
Examples
(2)
Basic Examples
(1)
Examples Initialization
Import a small DOT digraph:
In[1]:=
dotSource=StringRiffle[{"digraph G {"," \"add_comm\" [label=\"add_comm\", fillcolor=\"#3366cc\", type=\"theorem\"];"," \"Add\" [label=\"Add\", fillcolor=\"#cc6633\"];"," \"add_comm\" -> \"Add\";","}"},""];dotFile=Export[FileNameJoin[{$TemporaryDirectory,"ll_demo.dot"}],dotSource,"Text"];
[dotFile]
 | ImportDOT |
Out[1]=
Possible Issues
(1)
 |
|
 |
|
""