Skip to content

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

Merged
ivanperez-keera merged 9 commits into
Copilot-Language:masterfrom
GaloisInc:develop-what4-respect-quantifiers-T254
Mar 7, 2025
Merged

copilot-theorem: Reject existentially quantified propositions in What4 backend. Refs #254.#596
ivanperez-keera merged 9 commits into
Copilot-Language:masterfrom
GaloisInc:develop-what4-respect-quantifiers-T254

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

700508a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs