GitHub repository: nachivpn/gluetn
Primary language: Agda
Created: 2019-12-08T12:27:08Z
Description: Normalization for Gödel's system T using a glueing model construction