copilot-theorem 3.9

2 Reverse deps Accepted versions
copilot ==3.9.*
copilot-language >=3.9 && <3.10