A pretty expressive printer #
Use the left navigation sidebar to see all documentations under the Pretty module. In particular:
- Claimed results (theorems and lemmas) are in the submodule
Pretty.Claims.
- Definitions are in the submodule
Pretty.Defs
- Support lemmas are in the submodule
Pretty.Supports