copilot-theorem: Reject existentially quantified propositions in What4 backend. Refs #254.#596

ivanperez-keera merged 9 commits intoCopilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:develop-what4-respect-quantifiers-T254GaloisInc/copilot-1:develop-what4-respect-quantifiers-T254Copy head branch name to clipboard