IanRay11

IanRay11's Stars

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda46027243141

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda354127471

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda236163741

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda226914770

• juliangilbey/cat456

  Solutions to Emily Riehl's book "Category Theory in Context", chapters 4-6

  Language:TeX6202

• IanRay11/TypeTopology

  Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

  Language:Agda3000