hott-uf

There are 5 repositories under hott-uf topic.

martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language:Agda218 16 1318
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Language:Agda122 11 05
forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
Language:OCaml6 2 01
kotoromo/IntroAgda
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.
Language:HTML0 1 00
forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
Language:OCaml2 0