`copilot-theorem`: Extend range of versions of kind2. Refs #734.#740

Draft

chathhorn-galois wants to merge 3 commits into

Copilot-Language:masterfrom

GaloisInc:chathhorn/issue734

Commits on Jun 9, 2026

copilot-theorem: Extend range of versions of Kind2. Refs #734.
chathhorn-galois
committed
copilot-theorem: tests for the Kind2 backend. Refs #734.
chathhorn-galois
committed
copilot-theorem: Document changes in CHANGELOG. Refs #734.
chathhorn-galois
committed