hott-uf

There are 0 repository under hott-uf 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

• HoTT-Intro / Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  hott-ufagdatextbookunivalent-foundationsunivalenceunivalent-mathematicsunivalence-axiomhomotopy-type-theorymathematicsmathematics-library
  Language:Agda 119

• forked-from-1kasper / bravo

  Castle Bravo: Experimental HoTT Implementation

  dependent-typeshomotopy-type-theoryhotthott-ufmlttproof-assistanttheorem-provertype-checkerunivalent-foundations
  Language:OCaml 6

• 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.

  agdahotthott-ufmathematicsmlttintroduction-to-agda
  Language:HTML 0

• forked-from-1kasper / hurricane

  Hurricane: HoTT-I Type System

  dependent-typesdependent-type-theorytheorem-proverproof-assistanttype-checkermltthotthomotopy-type-theoryhott-uf
  Language:OCaml