Beast code in Giters

IanRay11's starred repositories

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

Language:AgdaGPL-3.0300

An experimental library for Cubical Agda

Language:AgdaNOASSERTION44700

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

Language:AgdaAGPL-3.033300

The agda-unimath library

Language:AgdaMIT21700

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

Language:TeXNOASSERTION500

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

Language:AgdaGPL-3.022600