Linear Temporal Logic Visualizer (via hwayne) — discussion

#formalmethods #math