copilot-theorem 3.12

2 Reverse deps Accepted versions
copilot ==3.12.*
copilot-language >=3.12 && <3.13