GitHub repository: peterthiemann/FeatherWeight
Primary language: Agda
Created: 2022-09-05T15:25:02Z
Description: Formalization of IFJ