Here are
10 public repositories
matching this topic...
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Updated
Nov 21, 2024
Agda
Updated
Nov 20, 2024
Agda
Lecture notes on univalent foundations of mathematics with Agda
Updated
Apr 16, 2024
Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Updated
Nov 27, 2021
Agda
Formal Topology in Univalent Foundations (WIP).
Experiments with Realizability in Univalent Type Theory
Updated
Oct 21, 2024
HTML
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Updated
Oct 25, 2024
Agda
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Updated
Oct 16, 2024
Shell
My implementation of the HOTT/UF book
Improve this page
Add a description, image, and links to the
univalent-mathematics
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
univalent-mathematics
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.