copilot-theorem 4.4

4 Reverse deps Accepted versions
copilot >=4.4 && <4.5
copilot-language >=4.4 && <4.5
copilot-libraries >=0
copilot-verifier >=4.4 && <4.5