mltt

There are 0 repository under mltt topic.

• martinescardo / HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  agdadependent-typesfunction-extensionalityhomotopy-type-theoryhott-uflecture-notesmartin-lof-type-theorymlttpropositional-truncationtype-theoryunivalence-axiomunivalent-foundationsunivalent-mathematicsunivalent-type-theory
  Language:Agda 213

• groupoid / groupoid.space

  🧊 Інститут формальної математики

  pisigmapathinductionhitmltt
  Language:TeX 35

• forked-from-1kasper / anders

  Anders: Cubical Type Checker

  dependent-typesdependent-type-theoryproof-assistantcubical-type-theoryctthomotopy-type-theoryhottmltttheorem-provertype-checkertype-system
  Language:OCaml 18

• groupoid / anders

  🧊 Модальний гомотопічний верифікатор математики

  mlttdependent-typescubical-type-theorytheorem-proverproof-assistanttype-checkertype-system
  Language:OCaml 17

• forked-from-1kasper / bravo

  Castle Bravo: Experimental HoTT Implementation

  dependent-typesmltthott-ufhotthomotopy-type-theoryunivalent-foundationstype-checkerproof-assistanttheorem-prover
  Language:OCaml 6

• esmolanka / simple-pi

  Simplistic implementation of dependently typed lambda calculus

  mlttlambda-calculusdependent-types
  Language:Haskell 4

• 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