lib:copilot-prettyprinter

Modules

• Copilot.PrettyPrint

Dependencies

• base lib:base >=4.9 && <5
• copilot-core lib:copilot-core >=3.19 && <3.20
• pretty lib:pretty >=1.0 && <1.2

Reverse dependencies

Direct only. Not exhaustive.

• copilot lib:copilot
• copilot-interpreter test:unit-tests
• copilot-theorem lib:copilot-theorem
• copilot-verifier exe:verify-examples
• copilot-verifier lib:copilot-verifier
• copilot-verifier lib:copilot-verifier-examples
• copilot-verifier test:copilot-verifier-test