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