GitHub repository: kangrongji/cubical-classics
Primary language: Agda
Created: 2022-04-21T09:35:46Z
Description: An attempt towards univalent classical mathematics in Cubical Agda.