copilot-theorem 3.18.1

4 Reverse deps Accepted versions
copilot >=3.18.1 && <3.19
copilot-language >=3.18.1 && <3.19
copilot-libraries -any
copilot-verifier >=3.18.1 && <3.19