This repository contains a pdf file as an appendix for the paper "Engineering Grammar-based Type Checking for Graph Rewriting Languages".

The pdf file consists of proofs for the propositions and theorems that appear in the paper.

The prototype implementation of LMNtal ShapeType can be found in this repository.