copilot-prettyprinter 4.4

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