GitHub repository: larrytheliquid/linear-temporal-logic
Description: sandbox for playing with linear temporal logic