copilot-theorem 3.5

2 Reverse deps Accepted versions
copilot ==3.5.*
copilot-language >=3.5 && <3.6