GitHub repository: konn/demotion-paper
Primary language: TeX
Description: Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness