univalence

There are 1 repository under univalence topic.

• HoTT / HoTT-Agda

  Development of homotopy type theory in Agda

  agdahomotopyhottunivalence
  Language:Agda 409

• EgbertRijke / HoTT-Intro

  An introductory course to Homotopy Type Theory

  agdahottunivalencebookcoqformalizationmathematics
  Language:Agda 355

• HoTT-Intro / Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

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

• jdolson / univalence-from-scratch

  Univalence from scratch in Idris

  idrishomotopy-type-theoryunivalence
  Language:Idris 19

• langston-barrett / reed-thesis

  My undergradate thesis on coinductive types in univalent type theory

  type-theorythesisunimathunivalenceunivalent-foundationscategory-theorymathematics
  Language:TeX 16

• gergoerdi / hott-exercise

  HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT

  homotopy-type-theoryagdaunivalence
  Language:Agda 1

• michaelKurowski / univalence-mappers

  Write function for one type data, let it work with all sorts of variations of it

  homotopy-type-theoryhotttypescriptunivalence
  Language:TypeScript 1