copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594. - #610

copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594.#610

ivanperez-keera merged 3 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:develop-kind2-respect-quantifiers-T594GaloisInc/copilot-1:develop-kind2-respect-quantifiers-T594Copy head branch name to clipboard