copilot-theorem 2.2.0

2 Reverse deps Accepted versions
copilot >=2.2.0
copilot-language >=2.0