Theorem Graph Calculator

ready explicit export/import only

⋮⋮Node / Arrow▾

Click a node or arrow to edit its details.

type

label

setting

condition

result

proof sketch

color

node fill

⋮⋮Graph▾

new

label

arrow gap

10px

fill sat

210%

Connect mode: click the source node, then the target node.

⋮⋮References▾

BibTeX

link

key

title

BibTeX is parsed lightly; raw entries are preserved.

all references

⋮⋮Export▾

preset file

import chart

preset JSON text

preset

Export includes nodes, arrows, references, and positions.