3 formal.pdf
: formal.md states_enable.png states_one.png states_output.png \
4 states_input.png states_verification.png states_complete.png \
5 test_enable.png memory.png stream.png sum.png
8 pandoc
-t beamer
$< -o
$@
14 inkscape
-w
800 -e
$@
$*.svg