univalent-type-theory

There are 0 repository under univalent-type-theory topic.

• martinescardo / HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  hott-ufunivalent-foundationsunivalent-mathematicsagdahomotopy-type-theorymlttmartin-lof-type-theorylecture-notesdependent-typesunivalence-axiomfunction-extensionalitypropositional-truncationtype-theoryunivalent-type-theory
  Language:Agda 213

• rahulc29 / realizability

  Experiments with Realizability in Univalent Type Theory

  category-theorycubical-type-theoryrealizabilityunivalent-foundationsunivalent-mathematicsunivalent-type-theory
  Language:Agda 10