copilot-theorem 3.7

2 Reverse deps Accepted versions
copilot ==3.7.*
copilot-language >=3.7 && <3.8