Here are
14 public repositories
matching this topic...
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Updated
Nov 10, 2024
Agda
A Coq library for Homotopy Type Theory
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Updated
Oct 25, 2024
Agda
Experiments with Realizability in Univalent Type Theory
Updated
Oct 21, 2024
HTML
Lecture notes on univalent foundations of mathematics with Agda
Updated
Apr 16, 2024
Agda
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Experimental implementation of Cubical Type Theory
Updated
Sep 21, 2023
Haskell
Castle Bravo: Experimental HoTT Implementation
Updated
Jun 16, 2023
OCaml
My implementation of the HOTT/UF book
Formal Topology in Univalent Foundations (WIP).
Agda formalisation of the Introduction to Homotopy Type Theory
Updated
Nov 27, 2021
Agda
My undergradate thesis on coinductive types in univalent type theory
Improve this page
Add a description, image, and links to the
univalent-foundations
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-foundations
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.