3 ms·
Yes, of course. I'm not trying to prove anything, just to not that non-termination leads to suspicious looking logics.
by tel 11y ago
Yes, of course. I'm not trying to prove anything, just to not that non-termination leads to suspicious looking logics.