philo10-101.ltl.reduced 61 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(<>([]("Think_3"))) <-> (("Catch1_3") || (<>([]("Think_3"))))