martin-lof-type-theory

There are 0 repository under martin-lof-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

• FilippoFantinato / type-theory

  Type Theory course ; Master's Degree in Computer Science @ UniPD

  agdamartin-lof-type-theorytheorem-provingunipd
  Language:Agda