Right now we can check theories for consistency but if the assumptions of a query are inconsistent with regard to a theory, we will always be able to prove the goal.
A consistency button, similar to the one existing in theories, should be added to queries.
The backend already supports that in the same way it supports consistency check for theories.
lex-lex
commented
5 years ago
Right now we can check theories for consistency but if the assumptions of a query are inconsistent with regard to a theory, we will always be able to prove the goal.
A consistency button, similar to the one existing in theories, should be added to queries.
The backend already supports that in the same way it supports consistency check for theories.