copilot-theorem 4.1

4 Reverse deps Accepted versions
copilot >=4.1 && <4.2
copilot-language >=4.1 && <4.2
copilot-libraries >=0
copilot-verifier >=4.1 && <4.2