Experiments with Realizability in Univalent Type Theory
cubical-type-theory
category-theory
univalent-foundations
univalent-mathematics
univalent-type-theory
realizability
-
Updated
Jul 4, 2024 - Agda
Experiments with Realizability in Univalent Type Theory
Agda formalisation of the Introduction to Homotopy Type Theory
Lecture notes on univalent foundations of mathematics with Agda
Logical manifestations of topological concepts, and other things, via the univalent point of view.
The agda-unimath library
Add a description, image, and links to the univalent-foundations topic page so that developers can more easily learn about it.
To associate your repository with the univalent-foundations topic, visit your repo's landing page and select "manage topics."