copilot-theorem: Update examples to compile with copilot-theorem >= 3.0. Refs #692. - #723

copilot-theorem: Update examples to compile with copilot-theorem >= 3.0. Refs #692.#723

ivanperez-keera merged 2 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:chathhorn/issue692GaloisInc/copilot-1:chathhorn/issue692Copy head branch name to clipboard