Pinned Loading

1. UniMath/agda-unimath UniMath/agda-unimath Public

   The agda-unimath library

   Agda 303 102

2. jfremstad/matematisk_ordliste jfremstad/matematisk_ordliste Public

   Matematisk ordliste

   CSV 33 8

3. samtoth/agda-synthetic-categories samtoth/agda-synthetic-categories Public

   An agda library for developing synthetic category theory - and other synthetic mathematics

   Agda 23 3