4 ms·
That can happen sometimes for some theories. It's super easy to run into places where proof search fails magnificently.
by tel 12y ago
That can happen sometimes for some theories. It's super easy to run into places where proof search fails magnificently.