GitHub repository: wenkokke/semantic-cut-elimination
Primary language: Agda
Description: Cut-elimination by Semantic Means