Pinned Loading

1. agda/cubical agda/cubical Public

   An experimental library for Cubical Agda

   Agda 507 156

2. cubical-classics cubical-classics Public

   An attempt towards univalent classical mathematics in Cubical Agda.

   Agda 32 2

3. synthetic-homotopy synthetic-homotopy Public

   Notes on synthetic homotopy theory.

   4

4. HSvKT HSvKT Public

   A formalization of higher Seifert-van Kampen theorem in Cubical Agda

   Agda