Skip to content

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

Merged
ivanperez-keera merged 3 commits into
Copilot-Language:masterfrom
GaloisInc:develop-kind2-respect-quantifiers-T594
Apr 19, 2025
Merged

copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594.#610
ivanperez-keera merged 3 commits into
Copilot-Language:masterfrom
GaloisInc:develop-kind2-respect-quantifiers-T594

copilot-theorem: Document changes in CHANGELOG. Refs #594.

3b51c96
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs