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

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

• ivanbakel / coq-antivalence

  Coq plugin to generate type inequality axioms for inductive definitions

  calculus-of-inductive-constructionscoqunivalence-axiom
  Language:OCaml 9