copilot-theorem 3.0

2 Reverse deps Accepted versions
copilot >=3.0 && <3.1
copilot-language >=3.0 && <3.1