GitHub repository: 30MA19-02/proof
Primary language: TeX
Description: proof of the model