philo10-105.ltl 75 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](<>(([](!(Eat_5==1))) -> (!([]((Think_3==1) && (<>([](Catch2_3==1))))))))