temporal-logic source code visualizations

1 animated visualization for GitHub repositories tagged temporal-logic.