copilot-theorem 3.15

2 Reverse deps Accepted versions
copilot ==3.15.*
copilot-language >=3.15 && <3.16