copilot-prettyprinter 4.5

4 Reverse deps Accepted versions
copilot >=4.5 && <4.6
copilot-interpreter >=0
copilot-theorem >=4.5 && <4.6
copilot-verifier >=4.5 && <4.6