GitHub repository: peterlefanulumsdaine/palmgren-archive
Primary language: Agda
Created: 2020-08-28T09:33:18Z
Description: Research material of Erik Palmgren (1963–2019)