copilot-theorem 3.19.1

4 Reverse deps Accepted versions
copilot >=3.19.1 && <3.20
copilot-language >=3.19.1 && <3.20
copilot-libraries -any
copilot-verifier ==3.19.*