copilot-theorem 4.7

4 Reverse deps Accepted versions
copilot >=4.7 && <4.8
copilot-language >=4.7 && <4.8
copilot-libraries >=0
copilot-verifier >=4.7 && <4.8