arrowproof · explainer
arrowproof checks its own diagram
build.py: lay out a spec
skills/arrowproof/scripts/build.
py
Tests
tests
graph.py: print the graph
skills/arrowproof/scripts/graph.
py
explain.py: explainer page
skills/arrowproof/scripts/explai
n.py
verify.py: check a diagram
skills/arrowproof/scripts/verify
.py
render.py: SVG and report
skills/arrowproof/scripts/render
.py
codegraph.py: import graph
skills/arrowproof/scripts/codegr
aph.py
diagram.py: Excalidraw
files
skills/arrowproof/scripts/diagra
m.py
arrowproof
✓ 12 verified