#
univalence
Here are 8 public repositories matching this topic...
Language:All
Filter by language
An introductory course to Homotopy Type Theory
- Updated
Jul 24, 2020 - Agda
Agda formalisation of the Introduction to Homotopy Type Theory
mathematicsagdatextbookunivalencehomotopy-type-theoryunivalent-foundationsmathematics-libraryunivalent-mathematicshott-ufunivalence-axiom
- Updated
Nov 27, 2021 - Agda
My undergradate thesis on coinductive types in univalent type theory
- Updated
May 10, 2018 - TeX
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
type-theorycategory-theoryagdaunihottunivalenceagda-libraryhomotopy-type-theoryunivalent-foundationsunivalent-mathematicsmartin-lof-type-theoryunivalence-axiom
- Updated
Oct 25, 2024 - Agda
HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT
- Updated
Jan 6, 2019 - Agda
Write function for one data type, let it work with all sorts of variations of it
- Updated
Feb 9, 2024 - TypeScript
Improve this page
Add a description, image, and links to theunivalence topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theunivalence topic, visit your repo's landing page and select "manage topics."