univalence-axiom

There are 0 repository under univalence-axiom 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

  agdahomotopy-type-theoryhott-ufmathematicsmathematics-librarytextbookunivalenceunivalence-axiomunivalent-foundationsunivalent-mathematics
  Language:Agda 119

• ivanbakel / coq-antivalence

  Coq plugin to generate type inequality axioms for inductive definitions

  coqunivalence-axiomcalculus-of-inductive-constructions
  Language:OCaml 9