#
hott-uf
Here are 5 public repositories matching this topic...
Lecture notes on univalent foundations of mathematics with Agda
dependent-typestype-theoryagdalecture-notesmltthomotopy-type-theoryunivalent-foundationsunivalent-mathematicshott-ufmartin-lof-type-theoryunivalence-axiomfunction-extensionalitypropositional-truncationunivalent-type-theory
- Updated
Apr 16, 2024 - Agda
Agda formalisation of the Introduction to Homotopy Type Theory
mathematicsagdatextbookunivalencehomotopy-type-theoryunivalent-foundationsmathematics-libraryunivalent-mathematicshott-ufunivalence-axiom
- Updated
Nov 27, 2021 - Agda
Castle Bravo: Experimental HoTT Implementation
dependent-typesproof-assistanthotttheorem-provertype-checkermltthomotopy-type-theoryunivalent-foundationshott-uf
- Updated
Jun 16, 2023 - OCaml
Hurricane: HoTT-I Type System
dependent-typesproof-assistanthotttheorem-provertype-checkermltthomotopy-type-theoryhott-ufdependent-type-theory
- Updated
Mar 21, 2022 - OCaml
Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.
- Updated
May 26, 2023 - HTML
Improve this page
Add a description, image, and links to thehott-uf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thehott-uf topic, visit your repo's landing page and select "manage topics."