learntla-v2/svgs at master · hwayne/learntla-v2 · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
error_trace.svg		error_trace.svg
invariants_fail.svg		invariants_fail.svg
missing_constant.svg		missing_constant.svg
setup_model.svg		setup_model.svg
symmetry_set.png		symmetry_set.png
symmetry_set.svg		symmetry_set.svg

README.md

This is where I put screenshots I need to annotate.