This directory contains source files for Penrose diagrams:

• Domain files (.dsl) describe the objects available in a given domain.
• Style files (.sty) specify how diagrams involving the objects from a given domain should be drawn.
• Substance files (.sub) describe specific diagrams.

Penrose diagrams are displayed in the infoview using ProofWidgets4.