14. Output from Lean

Planned Content
  • Unexpanders

  • Delaboration

  • Pretty printing

  • Parenthesizers

Tracked at issue #122